X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=src-wsl%2Ftransf-min.wsl;h=44e7ccacd67c7e0ccaadb9f7f4ad79b89eb5086f;hp=7437909bacdbbce7d88d999f0aa6c3a5515441fb;hb=064001268ca0e07e6bd91dda7d4f930cfa2a559c;hpb=8d85f9d4c90a0af22c965d92dae40d5ca82a96a2

diff --git a/src-wsl/transf-min.wsl b/src-wsl/transf-min.wsl
index 7437909..44e7cca 100755
--- a/src-wsl/transf-min.wsl
+++ b/src-wsl/transf-min.wsl
@@ -26,7 +26,6 @@ MW_PROC @Process_Prog() ==
 	FOREACH Statement DO
 		IF @ST(@I) = T_A_S THEN 
 			C:"don't need to test for this, works for T_A_S";
-			@Trans(TR_Simplify_Action_System, "");	
 			IF @Trans?(TR_Collapse_Action_System) THEN
 				@Trans(TR_Collapse_Action_System, "");
 			FI;
@@ -78,7 +77,7 @@ IF @File_Exists?(inifilename) THEN
 	OD;
 	@Close_Input_Port(inifile);
 ELSE
-    PRINT("ini file (",inifile,") not found.",
+    PRINT("ini file (",inifilename,") not found.",
     " it should contain a list of filenames to be converted");
     PRINT("you can input a filename now:");
     filename := @Read_Line(Standard_Input_Port);