diff --git a/fclingo/parsing.py b/fclingo/parsing.py index 014fd38..8498db3 100644 --- a/fclingo/parsing.py +++ b/fclingo/parsing.py @@ -40,7 +40,7 @@ + PREFIX + """sum""" + HEAD - + """/0 : sum_term, {<=,=,!=,<,>,>=}, sum_term, head; + + """/0 : sum_term, {<=,=,!=,<,>,>=,=:}, sum_term, head; &""" + PREFIX + """sus"""