diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-03-03 10:20:44 +0100 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:02 +0200 |
| commit | c60dd8c66eb330a687fbd541f61663e185df53e0 (patch) | |
| tree | 0cc6b3ac5339954d1a9d01a05a30777acb2069c9 /prolog/util.py | |
| parent | a60b0ef82a3f6c0cc38084200f92ae293d729116 (diff) | |
Ignore edits a→b where a or b has multiple parts
This happens for instance when a user writes more than one goal on the
same line. A better way would be to handle this when building a graph
(use annotate instead of splitting on newlines).
Diffstat (limited to 'prolog/util.py')
0 files changed, 0 insertions, 0 deletions