- matex: minor corrections to handle applications with many arguments

[helm.git] / matita / components / binaries / matex / matex.ml

diff --git a/matita/components/binaries/matex/matex.ml b/matita/components/binaries/matex/matex.ml
index 30f96287a9132215b7a4332b3d00297d18040cb7..88ae85436d3c06379b5973fb59104fe0a1b90387 100644 (file)
--- a/matita/components/binaries/matex/matex.ml
+++ b/matita/components/binaries/matex/matex.ml
@@ -39,7 +39,7 @@ let alpha_decode = R.triple R.string R.string R.string
 
 let const_decode = R.pair R.string R.string
 
-let macro_decode = R.triple R.string R.string R.int
+let macro_decode = R.quad R.string R.string R.int R.int
 
 let init registry =
    R.load_from registry;