- Fixed bug with exclusion of class inheritance header file.

- Addresses #108.
overturetool · Nov 9, 2017 · 87740a5 · 87740a5
1 parent f228303
commit 87740a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/c/vdmclib/src/main/VdmBasicTypes.c b/c/vdmclib/src/main/VdmBasicTypes.c
@@ -30,7 +30,7 @@
 #include "Vdm.h"
 #include <math.h>
 
-#ifndef NO_INHERITANCE
+#if !defined(NO_IS) || !defined(NO_INHERITANCE)
 #include "VdmClassHierarchy.h"
 #endif