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=629e91bbf955c5a438c114bbedc1d4fb2b5f049d;hb=064001268ca0e07e6bd91dda7d4f930cfa2a559c;hpb=971602ed888ad2769f927a4f1a48b4e03b8c2ec4 diff --git a/src-wsl/transf-min.wsl b/src-wsl/transf-min.wsl index 629e91b..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;