diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-13 18:10:06 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-13 18:17:10 -0500 |
commit | d5f1e40c1db973c9216a167b350a6dd5a4632761 (patch) | |
tree | 05d4f689d24d555bfd0373dbe790b80f3e511797 /src/bindings/compat/c | |
parent | e13e6c0a291b7011ae4f72a546f8159a836151db (diff) |
Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google for the report and patch!
Diffstat (limited to 'src/bindings/compat/c')
-rw-r--r-- | src/bindings/compat/c/c_interface_defs.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bindings/compat/c/c_interface_defs.h b/src/bindings/compat/c/c_interface_defs.h index f30e9b797..0f0155324 100644 --- a/src/bindings/compat/c/c_interface_defs.h +++ b/src/bindings/compat/c/c_interface_defs.h @@ -21,7 +21,7 @@ #include "cvc4_public.h" #ifndef _cvc3__include__c_interface_defs_h_ -#define _cvc3__include__c_interface__defs_h_ +#define _cvc3__include__c_interface_defs_h_ //#include "kinds.h" |