From 2ba442f6502185da07aff560ccd5633c471ae927 Mon Sep 17 00:00:00 2001
From: Amade Nemes <nemesamade@gmail.com>
Date: Thu, 13 Jun 2024 16:53:42 +0200
Subject: [PATCH] Change CommentType from OrderedEnum to IntEnum.

---
 libpyclingo/clingo/ast.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libpyclingo/clingo/ast.py b/libpyclingo/clingo/ast.py
index 5f45c91e5..71c3a45b8 100644
--- 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.
     """