X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fmatex.ml;h=66faa98597012b4eeb34ff7484307abaca0ec955;hb=41f74056c3dba63046899ab25709f92acef627d5;hp=ddd41304914bc1ba7235391c4668b1153c1d18e9;hpb=920c783cf31c2e7d227f0a38f158469680937d61;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"