- LexiconAst merged into GrafiteAst

[helm.git] / matita / matita / core_notation.moo

diff --git a/matita/matita/core_notation.moo b/matita/matita/core_notation.moo
index 6f5d78d033bcbd223e2ba1e36f759e0451289ab2..8ba56a73de06f9c459c44b7ea5ec7da42dab0e9f 100644 (file)
--- a/matita/matita/core_notation.moo
+++ b/matita/matita/core_notation.moo
@@ -163,7 +163,7 @@ notation "hvbox(a break \mod b)"
   left associative with precedence 55
 for @{ 'module $a $b }.
 
-notation "a \frac b" 
+notation < "a \frac b" 
   non associative with precedence 90
 for @{ 'divide $a $b }.