summaryrefslogtreecommitdiff
path: root/src/bindings/compat/c
diff options
context:
space:
mode:
Diffstat (limited to 'src/bindings/compat/c')
-rw-r--r--src/bindings/compat/c/c_interface.cpp2
-rw-r--r--src/bindings/compat/c/c_interface.h2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/bindings/compat/c/c_interface.cpp b/src/bindings/compat/c/c_interface.cpp
index 58fb70dcb..6a8a98547 100644
--- a/src/bindings/compat/c/c_interface.cpp
+++ b/src/bindings/compat/c/c_interface.cpp
@@ -21,7 +21,7 @@
#include <strings.h>
-#include "c_interface_defs.h"
+#include "bindings/compat/c/c_interface_defs.h"
#include "compat/cvc3_compat.h"
//#include "vc.h"
//#include "command_line_flags.h"
diff --git a/src/bindings/compat/c/c_interface.h b/src/bindings/compat/c/c_interface.h
index ce372be70..14fea7478 100644
--- a/src/bindings/compat/c/c_interface.h
+++ b/src/bindings/compat/c/c_interface.h
@@ -24,7 +24,7 @@
#ifndef _cvc3__include__c_interface_h_
#define _cvc3__include__c_interface_h_
-#include "c_interface_defs.h"
+#include "bindings/compat/c/c_interface_defs.h"
//! Flags can be NULL
VC vc_createValidityChecker(Flags flags);
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback