- Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag.

- Addresses #108.
overturetool · Oct 6, 2017 · 8360294 · 8360294
1 parent 4278cb8
commit 8360294
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/c/vdmclib/src/main/VdmBasicTypes.c b/c/vdmclib/src/main/VdmBasicTypes.c
@@ -30,7 +30,9 @@
 #include "Vdm.h"
 #include <math.h>
 
+#ifndef NO_INHERITANCE
 #include "VdmClassHierarchy.h"
+#endif