From bd432b142558147694c3a3f155c633c1340293f9 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Thu, 24 Sep 2015 18:09:30 +0200 Subject: Remove trailing . from historical Prolog queries --- monkey/edits.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'monkey') 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. -- cgit v1.2.1