diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-02-07 19:47:57 +0100 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:01 +0200 |
| commit | 1c1b8f683ee2025497e2733eb0d8bc1e54035487 (patch) | |
| tree | 0ccb287c65ae57a8049a5a3c51b443085d7e74d3 /scripts | |
| parent | 4838e37e26c3fb72ad509d7aef7f307cc7ae3ef2 (diff) | |
Remove all trailing punctuation from lines
Remove trailing sequences of COMMAs and PERIODs when extracting edits
from a trace. This is because subgoal order is rarely important in
Prolog, and we don't care if the edit happened on the last line or not.
This means that we treat for example
"conc(A,B)," → "conc(A,B,C)." the same as
"conc(A,B)" → "conc(A,B,C)".
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions