X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fengine.ml;h=324d114a949302b28788952074f9962714b80871;hb=5431da8145e4a84596d312fc02b552881d119100;hp=23e6f687acab2b104029e6f4e7bb8341342371eb;hpb=0e2836b432e8d1a10262836e160a5dd3cfb82c1e;p=helm.git

diff --git a/matita/components/binaries/matex/engine.ml b/matita/components/binaries/matex/engine.ml
index 23e6f687a..324d114a9 100644
--- a/matita/components/binaries/matex/engine.ml
+++ b/matita/components/binaries/matex/engine.ml
@@ -26,6 +26,7 @@ module K = Kernel
 module T = TeX
 module O = TeXOutput
 module A = Anticipate
+module M = Meta
 module N = Alpha
 
 type status = {