X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrecommTypes.ml;h=7098edb5ca2a3994a5ada39c445e6eba0d97fed9;hp=7225e916e2368aff21821118aea7e5f05bd82187;hb=8fdf1af656038d0245eba64ff2531bbe94ce0e9e;hpb=77c9255de3c5f7780aeacd745703a1cc76328a68

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommTypes.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recommTypes.ml
index 7225e916e..7098edb5c 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommTypes.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommTypes.ml
@@ -18,7 +18,7 @@ type src =
 (* section *)
   | Slice of words
 (* other comment *)
-  | Other of text * text * text
+  | Other of int * text * text * text
 
 type srcs = src list