projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c6e9766)
New C++ API: Fix include. (#2896)
authorAina Niemetz <aina.niemetz@gmail.com>
Sun, 24 Mar 2019 18:46:36 +0000 (11:46 -0700)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 24 Mar 2019 18:46:36 +0000 (13:46 -0500)
src/api/cvc4cpp.h patch | blob | history

diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h
index df26b79ea0b01e206ee97df2ec357aac4ba8b351..652ff80d5397638951b00f16e07df5d7364326bc 100644 (file)
--- a/src/api/cvc4cpp.h
+++ b/src/api/cvc4cpp.h
@@ -19,7 +19,7 @@
 #ifndef __CVC4__API__CVC4CPP_H
 #define __CVC4__API__CVC4CPP_H
 
-#include "cvc4cppkind.h"
+#include "api/cvc4cppkind.h"
 
 #include <map>
 #include <memory>