From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 30 Apr 2008 19:04:28 +0000 (+0000)
Subject: added fake uri when the univ is anon
X-Git-Tag: make_still_working~5274
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=680ab4fda3d69308fda744f79a8bf20a79e0a472;p=helm.git

added fake uri when the univ is anon
---

diff --git a/helm/software/components/cic/cicUniv.ml b/helm/software/components/cic/cicUniv.ml
index beb8a233f..c8a8660b3 100644
--- a/helm/software/components/cic/cicUniv.ml
+++ b/helm/software/components/cic/cicUniv.ml
@@ -630,7 +630,7 @@ let write_xml_of_ugraph filename (m,_,_) l =
 
 let univno = fst
 let univuri = function 
-  | _,None -> assert false
+  | _,None -> UriManager.uri_of_string "cic:/fake.con"
   | _,Some u -> u