summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-09-24 18:09:30 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-09-24 18:09:30 +0200
commitbd432b142558147694c3a3f155c633c1340293f9 (patch)
treeca22bccc2c1bd1a6f46aa5a763e99aa4e7b026ef
parent55cb98184b1342cb04c69ea47c268fdc3cbb3c52 (diff)
Remove trailing . from historical Prolog queries
-rw-r--r--monkey/edits.py2
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.