From a0389a7ddcaf2583f197904accb86c2c6d8c08b3 Mon Sep 17 00:00:00 2001
From: Alexandre Dubray <alexandre.dubray@uclouvain.be>
Date: Thu, 25 Jan 2024 15:34:03 +0100
Subject: [PATCH] update integration test

---
 tests/integration_tests.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/tests/integration_tests.rs b/tests/integration_tests.rs
index b3fb3dd..5efd788 100644
--- a/tests/integration_tests.rs
+++ b/tests/integration_tests.rs
@@ -24,8 +24,7 @@ macro_rules! test_input_with_branching {
             #[test]
             fn [<compile_ $b _ $name>]() {
                 let filename = format!("tests/instances/{}/{}.cnf", stringify!($dir), stringify!($name));
-                let mut dac = compile(PathBuf::from(filename), $b, None, None, 0.0).unwrap();
-                let sol = dac.evaluate();
+                let sol = compile(PathBuf::from(filename), $b, None, None, 0.0).unwrap();
                 let expected = Float::with_val(113, $value);
                 assert!((expected - sol).abs() < 0.000001);
             }