fix misleading comment in example

diff --git a/examples/simple_vc_cxx.cpp b/examples/simple_vc_cxx.cpp
index 92714ebc72f89d346cef25d266b65a5e251ec4c1..56c5763a21d620db30a518522d85a888470368ea 100644 (file)
--- a/examples/simple_vc_cxx.cpp
+++ b/examples/simple_vc_cxx.cpp
@@ -20,7 +20,7 @@
 
 #include <iostream>
 
-//#include <cvc4.h> // use this after CVC4 is properly installed
+//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
 #include "smt/smt_engine.h"
 
 using namespace std;