bugfix in the output notation for eq

diff --git a/helm/software/matita/core_notation.moo b/helm/software/matita/core_notation.moo
index be61e665096eb7f346ff55f4fae9f55fe54638c1..701903d11779c01374fbb4167d014881a13836fe 100644 (file)
--- a/helm/software/matita/core_notation.moo
+++ b/helm/software/matita/core_notation.moo
@@ -80,7 +80,7 @@ for @{ \Pi $_:$a.$b }.
 notation > "hvbox(a break = b)" 
   non associative with precedence 45
 for @{ 'eq ? $a $b }.
-notation < "hvbox(a break maction (=) (=\sub t) b)" 
+notation < "hvbox(term 46 a break maction (=) (=\sub t) term 46 b)" 
   non associative with precedence 45
 for @{ 'eq $t $a $b }.