- matex: minor corrections to handle applications with many arguments

[helm.git] / matita / components / binaries / matex / options.mli

diff --git a/matita/components/binaries/matex/options.mli b/matita/components/binaries/matex/options.mli
index da4f7a46dc1ac63c473c16368ef1a05c5cec9417..3801a8d19b1483d24841827e2412bb25cf75832d 100644 (file)
--- a/matita/components/binaries/matex/options.mli
+++ b/matita/components/binaries/matex/options.mli
@@ -39,7 +39,7 @@ val alpha_sort: (string * string * string) list ref
 
 val alpha_gref: (string * string) list ref
 
-val macro_gref: (string * string * int) list ref
+val macro_gref: (string * string * int * int) list ref
 
 val clear: unit -> unit