1 files changed, 2 insertions, 1 deletions
diff --git a/examples/api/helloworld.cpp b/examples/api/helloworld.cpp
index befeaa7bd..49a334504 100644
--- a/examples/api/helloworld.cpp
+++ b/examples/api/helloworld.cpp
@@ -23,6 +23,7 @@ int main() {
   ExprManager em;
   Expr helloworld = em.mkVar("Hello World!", em.booleanType());
   SmtEngine smt(&em);
-  std::cout << helloworld << " is " << smt.query(helloworld) << std::endl;
+  std::cout << helloworld << " is " << smt.checkEntailed(helloworld)
+            << std::endl;
   return 0;
 }