- Minor refinement to exclusion mechanism.

- Addresses #108.
overturetool · Nov 9, 2017 · 673ca1c · 673ca1c
1 parent 184bcfd
commit 673ca1c
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/c/vdmclib/src/main/VdmBasicTypes.c b/c/vdmclib/src/main/VdmBasicTypes.c
@@ -254,16 +254,6 @@ TVP isOfClassGC(TVP val, int classID, TVP *from)
 
 	return res;
 }
-
-TVP sameClass(TVP a, TVP b)
-{
-	return newBool(((struct ClassType *)a->value.ptr)->classId == ((struct ClassType *)b->value.ptr)->classId);
-}
-
-TVP sameClassGC(TVP a, TVP b, TVP *from)
-{
-	return newBoolGC(((struct ClassType *)a->value.ptr)->classId == ((struct ClassType *)b->value.ptr)->classId, from);
-}
 #endif
 
 
@@ -668,6 +658,16 @@ TVP isOfBaseClassGC(TVP val, int baseID, TVP *from)
 	return res;
 }
 
+TVP sameClass(TVP a, TVP b)
+{
+	return newBool(((struct ClassType *)a->value.ptr)->classId == ((struct ClassType *)b->value.ptr)->classId);
+}
+
+TVP sameClassGC(TVP a, TVP b, TVP *from)
+{
+	return newBoolGC(((struct ClassType *)a->value.ptr)->classId == ((struct ClassType *)b->value.ptr)->classId, from);
+}
+
 TVP sameBaseClass(TVP a, TVP b)
 {
 	int i, assoclen = sizeof(assoc) / sizeof(int);