From 7b124de192603edfdcea658b246ec1d0020cc04b Mon Sep 17 00:00:00 2001
From: Victor Bandur <victor.bandur@eng.au.dk>
Date: Mon, 13 Nov 2017 15:14:23 +0100
Subject: [PATCH] -  Fixed bug with sameclass query under NO_INHERITANCE in
 header file. -  Addresses #108.

---
 c/vdmclib/src/main/VdmBasicTypes.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/c/vdmclib/src/main/VdmBasicTypes.h b/c/vdmclib/src/main/VdmBasicTypes.h
index e5383853..25d484c0 100644
--- a/c/vdmclib/src/main/VdmBasicTypes.h
+++ b/c/vdmclib/src/main/VdmBasicTypes.h
@@ -115,14 +115,14 @@ TVP isRecordGC(TVP val, int recID, TVP *from);
 #endif
 TVP is(TVP v, char ot[]);
 TVP isGC(TVP v, char ot[], TVP *from);
-TVP sameClass(TVP a, TVP b);
-TVP sameClassGC(TVP a, TVP b, TVP *from);
 #endif  /*  NO_IS  */
 #ifndef NO_INHERITANCE
 TVP isOfBaseClass(TVP val, int baseID);
 TVP isOfBaseClassGC(TVP val, int baseID, TVP *from);
 TVP sameBaseClass(TVP a, TVP b);
 TVP sameBaseClassGC(TVP a, TVP b, TVP *from);
+TVP sameClass(TVP a, TVP b);
+TVP sameClassGC(TVP a, TVP b, TVP *from);
 #endif
 #if !defined(NO_IS) || !defined(NO_INHERITANCE)
 TVP isOfClass(TVP val, int classID);