Merge pull request #507 from namcsi/fix-comment-type-enum

Change CommentType from OrderedEnum to IntEnum.
potassco · Jun 13, 2024 · 041e904 · 041e904
2 parents 2ee5b14 + 2ba442f
commit 041e904
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libpyclingo/clingo/ast.py b/libpyclingo/clingo/ast.py
@@ -545,7 +545,7 @@ class BinaryOperator(IntEnum):
     """
 
 
-class CommentType(OrderedEnum):
+class CommentType(IntEnum):
     """
     Enumeration of comment types.
     """