transf-min does not need to explicitly Simplify, it's called anyway

[mjc2wsl.git] / src-wsl / transf-min.wsl

diff --git a/src-wsl/transf-min.wsl b/src-wsl/transf-min.wsl
index 629e91b..44e7cca 100755 (executable)
--- 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;