diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2014-01-30 18:14:38 +0100 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:25:59 +0200 |
| commit | 0259bf7303c622557550c1aacf9cd761d9874b31 (patch) | |
| tree | 4f34ea5baae85287bd09de63f3e1432d06cc8cd2 | |
| parent | 1a99d21e12dad4c01d4c892ed4e8a0506bcf36aa (diff) | |
Some cleanups in main program
| -rw-r--r-- | prolog/util.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/prolog/util.py b/prolog/util.py index 0aa0b09..b0447a6 100644 --- a/prolog/util.py +++ b/prolog/util.py @@ -74,7 +74,7 @@ def decompose(code): line.append(t) return lines, rules -# pretty-print a list of rules (no support for ; yet) +# pretty-print a list of rules def compose(lines, rules): code = '' for start, end in rules: @@ -93,7 +93,7 @@ def compose(lines, rules): code += '\n' return code -# rename variables in order of appearance +# standardize variable names in order of appearance def rename_vars(tokens, names={}): # copy names so we don't fuck it up names = {k: v for k, v in names.items()} |