From 5017d5212788d215cd648725ba69813c4589b787 Mon Sep 17 00:00:00 2001
From: Frédéric Besson
Date: Wed, 20 May 2020 14:15:34 +0200
Subject: fix according to review by @pi8027

---
 plugins/micromega/g_zify.mlg | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'plugins')

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
-- 
cgit v1.2.3