diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-12 15:50:44 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-12 15:50:44 -0700 |
commit | fa79faf9e6ca816e8310f96c95623633e63f7bef (patch) | |
tree | 68fa35482a018f277abfec85499d49e323194a21 /examples/api/helloworld.cpp | |
parent | f4f11801394afa718a5125e4386704a72e74ca48 (diff) |
Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES. (#2461)
Diffstat (limited to 'examples/api/helloworld.cpp')
-rw-r--r-- | examples/api/helloworld.cpp | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/examples/api/helloworld.cpp b/examples/api/helloworld.cpp index f90c332ba..667faed50 100644 --- a/examples/api/helloworld.cpp +++ b/examples/api/helloworld.cpp @@ -16,11 +16,8 @@ #include <iostream> -#ifdef CVC4_MAKE_EXAMPLES -#include "smt/smt_engine.h" // for use with make examples -#else -#include <cvc4/cvc4.h> // To follow the wiki -#endif /* CVC4_MAKE_EXAMPLES */ +//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed +#include "smt/smt_engine.h" using namespace CVC4; int main() { |