X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Foptions.mli;h=8a7bbb8a22ab9af1c65dd99240970845ae976077;hb=348f1670b30f52db99187b2e92b45348e18ebbbe;hp=b2ad2cf47d4787b26a20f7a2587d5dfc2007f42d;hpb=d03e9fa5ea709a937148a67fc115d894e5990063;p=helm.git

diff --git a/matita/components/binaries/matex/options.mli b/matita/components/binaries/matex/options.mli
index b2ad2cf47..8a7bbb8a2 100644
--- a/matita/components/binaries/matex/options.mli
+++ b/matita/components/binaries/matex/options.mli
@@ -35,6 +35,8 @@ val alpha_type: (string * string * string) list ref
 
 val alpha_sort: (string * string * string) list ref
 
+val macro: (string * string * int) list ref
+
 val clear: unit -> unit
 
 val close_list: unit -> unit