Update includes to use cvc4 top-level directory in examples (#2877)

Because the headers are now installed in a `cvc4` directory, the examples need to include from there as well.

diff --git a/examples/api/bitvectors-new.cpp b/examples/api/bitvectors-new.cpp
index d06671a0d6ebe8bb3813abd8c3e66ff976b3928e..dfe8c74207595aafde6efdd654ce1be0535366cb 100644 (file)
--- a/examples/api/bitvectors-new.cpp
+++ b/examples/api/bitvectors-new.cpp
@@ -16,7 +16,7 @@
 
 #include <iostream>
 
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
+// #include "cvc4/api/cvc4cpp.h" // use this after CVC4 is properly installed
 #include "api/cvc4cpp.h"
 
 using namespace std;

diff --git a/examples/api/bitvectors_and_arrays-new.cpp b/examples/api/bitvectors_and_arrays-new.cpp
index 723f5e17835df56b5cf3f10317da0b75991dde4e..2abc5f9b4817296b43ff815d78e661c6ebd8f119 100644 (file)
--- a/examples/api/bitvectors_and_arrays-new.cpp
+++ b/examples/api/bitvectors_and_arrays-new.cpp
@@ -16,7 +16,8 @@
 
 #include <iostream>
 #include <cmath>
-// #include <cvc4/cvc4.h> // use this after CVC4 is properly installed
+
+// #include "cvc4/api/cvc4cpp.h" // use this after CVC4 is properly installed
 #include "api/cvc4cpp.h"
 
 using namespace std;

diff --git a/examples/api/combination-new.cpp b/examples/api/combination-new.cpp
index 4c2df3624af0e32ab7850de2ee10c8d7e5048eab..de898352ea4dcf5893d51aee9172a69f7d603d8a 100644 (file)
--- a/examples/api/combination-new.cpp
+++ b/examples/api/combination-new.cpp
@@ -18,7 +18,7 @@
 
 #include <iostream>
 
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
+// #include "cvc4/api/cvc4cpp.h" // use this after CVC4 is properly installed
 #include "api/cvc4cpp.h"
 
 using namespace std;

diff --git a/examples/api/datatypes-new.cpp b/examples/api/datatypes-new.cpp
index e6e044c96c8f744bf6733625086458eeb168fed4..6efb1f7fc0d88550ab1259583a31ea490c4186f2 100644 (file)
--- a/examples/api/datatypes-new.cpp
+++ b/examples/api/datatypes-new.cpp
@@ -15,9 +15,10 @@
  **/
 
 #include <iostream>
-//#include <cvc4/cvc4.h> // To follow the wiki
 
+// #include "cvc4/api/cvc4cpp.h" // use this after CVC4 is properly installed
 #include "api/cvc4cpp.h"
+
 using namespace CVC4::api;
 
 void test(Solver& slv, Sort& consListSort)

diff --git a/examples/api/extract-new.cpp b/examples/api/extract-new.cpp
index f020b4951bdf32157b56e7d2cf5959d63104c395..7d9f2771fc593216443ce24f66ad3dc6b72b7182 100644 (file)
--- a/examples/api/extract-new.cpp
+++ b/examples/api/extract-new.cpp
@@ -16,7 +16,7 @@
 
 #include <iostream>
 
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
+// #include "cvc4/api/cvc4cpp.h" // use this after CVC4 is properly installed
 #include "api/cvc4cpp.h"
 
 using namespace std;

diff --git a/examples/api/helloworld-new.cpp b/examples/api/helloworld-new.cpp
index 144b307f759b6c931b2ac66c06e139601485effb..307b1638a8ccc870312b83b3ec917e0bb91205e1 100644 (file)
--- a/examples/api/helloworld-new.cpp
+++ b/examples/api/helloworld-new.cpp
@@ -16,7 +16,7 @@
 
 #include <iostream>
 
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
+// #include "cvc4/api/cvc4cpp.h" // use this after CVC4 is properly installed
 #include "api/cvc4cpp.h"
 
 using namespace CVC4::api;

diff --git a/examples/api/linear_arith-new.cpp b/examples/api/linear_arith-new.cpp
index 8f305c72db49240bbafa0ece63d22deff4c75021..359c12964e6c6b25b3075c8ba08096acbed0ebd4 100644 (file)
--- a/examples/api/linear_arith-new.cpp
+++ b/examples/api/linear_arith-new.cpp
@@ -17,7 +17,7 @@
 
 #include <iostream>
 
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
+// #include "cvc4/api/cvc4cpp.h" // use this after CVC4 is properly installed
 #include "api/cvc4cpp.h"
 
 using namespace std;

diff --git a/examples/api/sets-new.cpp b/examples/api/sets-new.cpp
index d4b94aa8f6eced5b4b56b7750aa1d6bbc50a5884..94ce9d9a8218be17ca7af57428eaccdf1f5a6ab4 100644 (file)
--- a/examples/api/sets-new.cpp
+++ b/examples/api/sets-new.cpp
@@ -16,7 +16,7 @@
 
 #include <iostream>
 
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
+// #include "cvc4/api/cvc4cpp.h" // use this after CVC4 is properly installed
 #include "api/cvc4cpp.h"
 
 using namespace std;

diff --git a/examples/api/strings-new.cpp b/examples/api/strings-new.cpp
index e3bcb167771316cd19480ca8d10a5f5c48f4cd0d..432ee7b80670edd7f93b685392f8549c707527c3 100644 (file)
--- a/examples/api/strings-new.cpp
+++ b/examples/api/strings-new.cpp
@@ -16,7 +16,7 @@
 
 #include <iostream>
 
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
+// #include "cvc4/api/cvc4cpp.h" // use this after CVC4 is properly installed
 #include "api/cvc4cpp.h"
 
 using namespace CVC4::api;