diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/micromega/g_zify.mlg | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/micromega/g_zify.mlg b/plugins/micromega/g_zify.mlg index c00c9ecad4..80a40c4315 100644 --- a/plugins/micromega/g_zify.mlg +++ b/plugins/micromega/g_zify.mlg @@ -50,5 +50,6 @@ VERNAC COMMAND EXTEND ZifyPrint CLASSIFIED AS SIDEFF |[ "Show" "Zify" "UnOp" ] -> { Zify.UnOp.print () } |[ "Show" "Zify" "CstOp"] -> { Zify.CstOp.print () } |[ "Show" "Zify" "BinRel"] -> { Zify.BinRel.print () } -|[ "Show" "Zify" "Spec"] -> { Zify.BinOpSpec.print () ; Zify.UnOpSpec.print()} +|[ "Show" "Zify" "Spec"] -> { (* This prints both UnOpSpec and BinOpSpec *) + Zify.UnOpSpec.print() } END |