diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-12-11 15:24:52 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-12-11 16:11:15 +0100 |
commit | 3fb4420980af20c7859a5abf8873ae00d4f8612b (patch) | |
tree | 61ac5d5c91104a859b914a64013bb2bf95c943f0 /prolog | |
parent | fa39fe7bfedd0b2e615d369adb5b510ceb9b857f (diff) |
Rename a function
Diffstat (limited to 'prolog')
-rw-r--r-- | prolog/util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/util.py b/prolog/util.py index 4b316d5..11a6f94 100644 --- a/prolog/util.py +++ b/prolog/util.py @@ -126,7 +126,7 @@ def rename_vars_list(tokens, names=None): # Rename variables in AST rooted at [root] to A0, A1, A2,… in order of # appearance. -def rename_vars_ast2(root, fixed_names=None): +def rename_vars_ast(root, fixed_names=None): if fixed_names is None: fixed_names = {} names = {} |