Fix

potassco · Oct 14, 2023 · 8009e75 · 8009e75
1 parent 232677a
commit 8009e75
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,
         )
     } {