diff options
| author | Frédéric Besson | 2020-05-20 14:15:34 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2020-06-14 11:26:44 +0200 |
| commit | 5017d5212788d215cd648725ba69813c4589b787 (patch) | |
| tree | d18c8bc567eeca7e9e3224ed3bef45b66beaab3c /plugins | |
| parent | 13f09096c1dc75898e32e915161b928a68b45346 (diff) | |
fix according to review by @pi8027
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 |