From 87740a5d303aefda07923c6312d64c0c79fa65e1 Mon Sep 17 00:00:00 2001
From: Victor Bandur <victor.bandur@eng.au.dk>
Date: Thu, 9 Nov 2017 14:26:36 +0100
Subject: [PATCH] -  Fixed bug with exclusion of class inheritance header file.
 -  Addresses #108.

---
 c/vdmclib/src/main/VdmBasicTypes.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/c/vdmclib/src/main/VdmBasicTypes.c b/c/vdmclib/src/main/VdmBasicTypes.c
index e98e544f..8b52871d 100644
--- 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