diff options
| -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. |