From: makaimann <makaim@stanford.edu>
Date: Mon, 1 Apr 2019 20:22:04 +0000 (-0700)
Subject: Update includes to use cvc4 top-level directory in examples (#2877)
X-Git-Tag: cvc5-1.0.0~4200
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ae536749a2342e51c450deb62a13d5cfda965881;p=cvc5.git

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 d06671a0d..dfe8c7420 100644
--- 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 723f5e178..2abc5f9b4 100644
--- 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 4c2df3624..de898352e 100644
--- 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 e6e044c96..6efb1f7fc 100644
--- 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 f020b4951..7d9f2771f 100644
--- 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 144b307f7..307b1638a 100644
--- 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 8f305c72d..359c12964 100644
--- 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 d4b94aa8f..94ce9d9a8 100644
--- 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 e3bcb1677..432ee7b80 100644
--- 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;