diff options
Diffstat (limited to 'lib/tools')
| -rwxr-xr-x | lib/tools/replace.nom | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/tools/replace.nom b/lib/tools/replace.nom index d9926cf..7337447 100755 --- a/lib/tools/replace.nom +++ b/lib/tools/replace.nom @@ -42,7 +42,7 @@ command line program with $args: : for $ in recursive $pattern_tree: if (($.type == "Var") and (not $literal_vars.($.1))): add $.1 for $child in $: - if ($child is a "Syntax Tree"): + if ($child is "a Syntax Tree"): recurse $ on $child } |
