diff options
Diffstat (limited to 'src/bindings/compat/c/c_interface_defs.h')
| -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" |