X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_textual_parser%2FcicTextualParser0.ml;h=7a338c249b0467a0cbc038d31d5b554d6dc285a9;hb=37f08b2aba9f17d9d609ca0f57d607f437a3d3fc;hp=e89c00d22bff826ba72c507b2c01a9ef76f28187;hpb=a61f397a3ea3acaf95a04a2aafbf1d3f223a2755;p=helm.git

diff --git a/helm/ocaml/cic_textual_parser/cicTextualParser0.ml b/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
index e89c00d22..7a338c249 100644
--- a/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
+++ b/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
@@ -26,4 +26,4 @@
 exception Eof;;
 
 let current_uri = ref (UriManager.uri_of_string "cic:/dummy.con");;
-let binders = ref ([] : Cic.name list);;
+let binders = ref ([] : (Cic.name option) list);;