diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-24 18:09:30 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-24 18:09:30 +0200 |
| commit | bd432b142558147694c3a3f155c633c1340293f9 (patch) | |
| tree | ca22bccc2c1bd1a6f46aa5a763e99aa4e7b026ef /monkey | |
| parent | 55cb98184b1342cb04c69ea47c268fdc3cbb3c52 (diff) | |
Remove trailing . from historical Prolog queries
Diffstat (limited to 'monkey')
| -rw-r--r-- | monkey/edits.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/monkey/edits.py b/monkey/edits.py index 0f386d5..8412f8a 100644 --- a/monkey/edits.py +++ b/monkey/edits.py @@ -45,7 +45,7 @@ def trace_graph(trace): done = True elif action.type == 'solve' or action.type == 'solve_all': - queries.add(action.query) + queries.add(action.query.rstrip(' .')) elif action.type == 'insert' or action.type == 'remove': # Ignore edits after the first correct version. |