wrap

potassco · Oct 13, 2023 · c14e1a1 · c14e1a1
1 parent 13083cb
commit c14e1a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/test.rs b/examples/test.rs
@@ -114,7 +114,7 @@ fn wrapped() {
         clingo_ast_build(
             clingo_ast_type_e_clingo_ast_type_guard as i32,
             &mut guard,
-            clingo_ast_comparison_operator_e_clingo_ast_comparison_operator_greater_than as isize,
+            gt as isize,
             term,
         )
     } {