diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-06 16:29:28 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-06 16:29:28 -0400 |
| commit | e687b6e1ae8afecb7e7280aad0538672e608818d (patch) | |
| tree | 8b4a143b02b0797714cbb93328bfe51ac846e291 /examples/api/helloworld.cpp | |
| parent | 5b2fc4b690f9358dac09b057285c54a6df7c543e (diff) | |
rm warning from helloworld example
Diffstat (limited to 'examples/api/helloworld.cpp')
| -rw-r--r-- | examples/api/helloworld.cpp | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/examples/api/helloworld.cpp b/examples/api/helloworld.cpp index b74f229b6..4c62874b8 100644 --- a/examples/api/helloworld.cpp +++ b/examples/api/helloworld.cpp @@ -15,9 +15,13 @@ **/ #include <iostream> -#warning "To use helloworld.cpp as given in the wiki, instead of make examples, change the following two includes lines." + +#ifdef CVC4_MAKE_EXAMPLES #include "smt/smt_engine.h" // for use with make examples -//#include <cvc4/cvc4.h> // To follow the wiki +#else +#include <cvc4/cvc4.h> // To follow the wiki +#endif /* CVC4_MAKE_EXAMPLES */ + using namespace CVC4; int main() { ExprManager em; |