X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fmatex.ml;h=66faa98597012b4eeb34ff7484307abaca0ec955;hb=ef225b816c82d4fad37993f963804e51152f4dac;hp=ddd41304914bc1ba7235391c4668b1153c1d18e9;hpb=b161347767b1cb67c4f5b115e4414b85ac4b2183;p=helm.git

diff --git a/matita/components/binaries/matex/matex.ml b/matita/components/binaries/matex/matex.ml
index ddd413049..66faa9859 100644
--- a/matita/components/binaries/matex/matex.ml
+++ b/matita/components/binaries/matex/matex.ml
@@ -19,7 +19,7 @@ module L = Librarian
 module X = Ground
 module G = Options
 module E = Engine
-module O = TeXOutput
+(* module O = TeXOutput *)
 module K = Kernel
 
 let help_O = "<dir> Set this output directory"