X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FTeX.ml;fp=matita%2Fcomponents%2Fbinaries%2Fmatex%2FTeX.ml;h=ccf2ffa6a6cdcdb7bfb022297993b3ea4dc5bf27;hb=5791ee6b64136ecb0a727e32997b33f4bfab2c31;hp=01ab717f1f7898c2beaddc9a686cd0ce62a0feeb;hpb=709537efda53c6189ed3e3e9877f1f93ac6d512a;p=helm.git

diff --git a/matita/components/binaries/matex/TeX.ml b/matita/components/binaries/matex/TeX.ml
index 01ab717f1..ccf2ffa6a 100644
--- a/matita/components/binaries/matex/TeX.ml
+++ b/matita/components/binaries/matex/TeX.ml
@@ -17,6 +17,7 @@ type item = Free  of string  (* free text *)
           | Text  of string  (* quoted text *)
           | Macro of string  (* macro *)
           | Group of text    (* group *)
+          | Note  of string  (* comment *)
          
 and text = item list         (* structured text *)