Adjust integration tests

potassco · Oct 11, 2023 · d3c5c1e · d3c5c1e
1 parent 4bb4cf3
commit d3c5c1e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/integration_test.rs b/tests/integration_test.rs
@@ -5,8 +5,8 @@ use clingo::*;
 fn version() {
     let (ma, mi, re) = clingo::version();
     assert!(ma == 5);
-    assert!(mi == 6);
-    assert!(re == 2);
+    assert!(mi == 7);
+    assert!(re == 0);
 }
 #[test]
 fn signature() {