Eliminated use of "const" qualifier on pointer variables. There is no

straightforward way to check when they should be discarded so that
compiler warnings are eliminated.

c/vdmclib/src/main/VdmMap.c

@@ -417,7 +417,7 @@ TVP newMapVarToGrow(size_t size, size_t expected_size, ...)
 	theMap = newTypeValue(VDM_MAP, (TypedValueType){ .ptr = ptr });
 
 	va_list argList;
-	va_start(argList, size * 2);
+	va_start(argList, expected_size);
 
 	for(int i = 0; i < size; i++)
 	{

core/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AVarDeclIR.vm

@@ -1,11 +1,7 @@
-#set( $final = "")
-#if ( $node.getFinal() )
-	#set( $final = "const")
-#end
 ##
 ##
 #set( $pattern = $CFormat.format($node.getPattern()) )
 ##
 ##$CFormat.formatMetaData($node.getMetaData())##
 ##
-${final} $CFormat.format($node.getType()) $pattern = $CFormat.format($node.getExp())
+$CFormat.format($node.getType()) $pattern = $CFormat.format($node.getExp())