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 beb8a233fb58b3f56fb516131ca1b14188182bf0..c8a8660b3bade7c485670c89087291f5a222944d 100644 (file)
--- 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