- Fixed bug with sameclass query under NO_INHERITANCE in header file.

- Addresses #108.
overturetool · Nov 13, 2017 · 7b124de · 7b124de
1 parent 3ec2000
commit 7b124de
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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);