drop convert flag

lip6 · Jul 3, 2024 · 6145f5f · 6145f5f
1 parent 8d4552a
commit 6145f5f
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/...r.lip6.move.gal.itscl.application/src/fr/lip6/move/gal/itscl/application/Application.java b/...r.lip6.move.gal.itscl.application/src/fr/lip6/move/gal/itscl/application/Application.java
@@ -9,7 +9,6 @@
 import org.eclipse.equinox.app.IApplication;
 import org.eclipse.equinox.app.IApplicationContext;
 
-import fr.lip6.mist.io.ConverterMain;
 import fr.lip6.move.gal.CTLProp;
 import fr.lip6.move.gal.LTLProp;
 import fr.lip6.move.gal.Property;
@@ -43,9 +42,6 @@ public Object start(IApplicationContext context) throws Exception {
 		List<String> listArgs = Arrays.asList(args);
 		if (listArgs.contains("-pnfolder")) {
 			return new fr.lip6.move.gal.application.Application().start(context);
-		} else if (listArgs.contains("-convert")) {
-			ConverterMain.main(args);
-			return IApplication.EXIT_OK;
 		}
 		String inputff = null;
 		String inputType = null;