diff options
Diffstat (limited to 'lib/tools/replace.nom')
| -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 7337447..314834e 100755 --- a/lib/tools/replace.nom +++ b/lib/tools/replace.nom @@ -107,7 +107,7 @@ command line program with $args: $matched = {} $user_answers = {} ($tree with replacements) means - $tree, map + $tree, with for $t: $values = ($t matches $pattern_tree with {}) if $values: |