fixed bug

potassco · Jul 22, 2024 · 84b949a · 84b949a
1 parent 6f4d7ef
commit 84b949a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"""