From 8009e75a3bacb325cb342b3ef349c4d6377d304f Mon Sep 17 00:00:00 2001
From: Sven Thiele <sthiele78@gmail.com>
Date: Sat, 14 Oct 2023 09:23:02 +0200
Subject: [PATCH] Fix

---
 src/ast.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast.rs b/src/ast.rs
index 96c1f14..4d91118 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -1488,7 +1488,7 @@ where
         clingo_ast_build(
             clingo_ast_type_e_clingo_ast_type_guard as i32,
             &mut ast,
-            operator,
+            operator as isize,
             term.ast,
         )
     } {