From 91efafed08ebe369be4c4f06844a39a173f825dc Mon Sep 17 00:00:00 2001
From: nick_battle <nick.battle@gmail.com>
Date: Sun, 7 Jan 2024 10:47:14 +0000
Subject: [PATCH] Removed external_readers property from VDMCheck3.sh

---
 fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh b/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh
index 975a3dd..c48600c 100755
--- 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 \