From: Doni Pracner Date: Sat, 8 Feb 2014 18:07:29 +0000 (+0100) Subject: transf-min does not need to explicitly Simplify, it's called anyway X-Git-Tag: v0.1.5~12 X-Git-Url: https://svarog.pmf.uns.ac.rs/gitweb/?a=commitdiff_plain;h=064001268ca0e07e6bd91dda7d4f930cfa2a559c;p=mjc2wsl.git transf-min does not need to explicitly Simplify, it's called anyway --- 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;