From 4f384b6fadd999324d83b4c4ea900de2a0e13dd7 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 25 Sep 2019 09:47:12 -0700
Subject: Use separate CMake project for CVC4 examples. (#3196)

---
 examples/nra-translate/smt2toqepcad.cpp | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'examples/nra-translate/smt2toqepcad.cpp')

diff --git a/examples/nra-translate/smt2toqepcad.cpp b/examples/nra-translate/smt2toqepcad.cpp
index 28e699b6f..cdc2e0878 100644
--- a/examples/nra-translate/smt2toqepcad.cpp
+++ b/examples/nra-translate/smt2toqepcad.cpp
@@ -22,12 +22,8 @@
 #include <typeinfo>
 #include <vector>
 
-#include "api/cvc4cpp.h"
-#include "expr/expr.h"
-#include "options/options.h"
-#include "parser/parser.h"
-#include "parser/parser_builder.h"
-#include "smt/command.h"
+#include <cvc4/api/cvc4cpp.h>
+#include <cvc4/cvc4.h>
 
 using namespace std;
 using namespace CVC4;
-- 
cgit v1.2.3