X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=src-wsl%2Ftransf-min.wsl;h=f1046aa58f408893d250880df167a31b4231aae6;hp=629e91bbf955c5a438c114bbedc1d4fb2b5f049d;hb=979630bd7810f9880277514339f8b7b6b9049801;hpb=5091358aad632e0c7dab0e493c6ed7e28692ebe5

diff --git a/src-wsl/transf-min.wsl b/src-wsl/transf-min.wsl
index 629e91b..f1046aa 100755
--- a/src-wsl/transf-min.wsl
+++ b/src-wsl/transf-min.wsl
@@ -18,6 +18,9 @@ License along with this program. If not, see
 <http://www.gnu.org/licenses/>.
 ==========================================================";
 
+C:"set the following so that Action Systems are not automaticaly treated as regular";
+Assume_A_S_Regular := 0;
+
 C:"Automatic transformation tool for simplification of WSL";
 C:"code automaticaly translated from assembly using asm2wsl.";
 C:"a simple version";
@@ -26,7 +29,7 @@ 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, "");	
+			@Trans(TR_Simplify_Action_System, "");
 			IF @Trans?(TR_Collapse_Action_System) THEN
 				@Trans(TR_Collapse_Action_System, "");
 			FI;
@@ -42,6 +45,13 @@ MW_PROC @Process_Prog() ==
 			@Delete
 	FI
 	OD;
+
+	FOREACH Statement DO
+	      IF @Trans?(TR_Simplify_Item) THEN
+		@Trans(TR_Simplify_Item,"")
+	      FI
+	OD;
+
 	C:"Convert DO loops into WHILE loops";
 	FOREACH Statement DO
 		IF @Trans?(TR_Floop_To_While) THEN