summaryrefslogtreecommitdiff
path: root/prolog/lexer.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-03-03 10:20:44 +0100
committerAleš Smodiš <aless@guru.si>2015-08-11 14:26:02 +0200
commitc60dd8c66eb330a687fbd541f61663e185df53e0 (patch)
tree0cc6b3ac5339954d1a9d01a05a30777acb2069c9 /prolog/lexer.py
parenta60b0ef82a3f6c0cc38084200f92ae293d729116 (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/lexer.py')
0 files changed, 0 insertions, 0 deletions