Update runtime library integer conversion to support reals

overturetool · Oct 25, 2016 · cb659be · cb659be
1 parent 10f49a6
commit cb659be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/c/vdmclib/src/main/VdmBasicTypes.c b/c/vdmclib/src/main/VdmBasicTypes.c
@@ -167,7 +167,7 @@ int toInteger(TVP a)
 	case VDM_NAT1:
 		return a->value.intVal;
 	case VDM_REAL:
-		//return a->value.doubleVal;
+		return a->value.doubleVal;
 	default:
 		FATAL_ERROR("Invalid type");
 		return 0;