Removed external_readers property from VDMCheck3.sh

INTO-CPS-Association · Jan 7, 2024 · 91efafe · 91efafe
1 parent dc27b83
commit 91efafe
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh b/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh
@@ -87,7 +87,6 @@ SCRIPT=$0
 	fi
 	java -Xmx1g \
 		-Dvdmj.parser.merge_comments=true \
-		-Dvdmj.parser.external_readers=.fmu=fmureader.FMUReader,.xml=fmureader.FMUReader \
 		-Dfmureader.noschema=true \
 		-Dfmureader.vdmfile="$SAVE" \
 		-cp vdmj.jar${CLASSPATH_SEPARATOR}annotations.jar${CLASSPATH_SEPARATOR}xsd2vdm.jar${CLASSPATH_SEPARATOR}fmuReader.jar com.fujitsu.vdmj.VDMJ \