1 files changed, 3 insertions, 3 deletions
diff --git a/test/system/two_smt_engines.cpp b/test/system/two_smt_engines.cpp
index a7266e0b0..8698fde0e 100644
--- a/test/system/two_smt_engines.cpp
+++ b/test/system/two_smt_engines.cpp
@@ -28,9 +28,9 @@ int main() {
   Options opts;
   SmtEngine smt(&em);
   SmtEngine smt2(&em);
-  Result r = smt.query(em.mkConst(true));
-  Result r2 = smt2.query(em.mkConst(true));
+  Result r = smt.checkEntailed(em.mkConst(true));
+  Result r2 = smt2.checkEntailed(em.mkConst(true));
 
-  return r == Result::VALID && r2 == Result::VALID ? 0 : 1;
+  return r == Result::ENTAILED && r2 == Result::ENTAILED ? 0 : 1;
 }