From 680ab4fda3d69308fda744f79a8bf20a79e0a472 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 30 Apr 2008 19:04:28 +0000
Subject: [PATCH] added fake uri when the univ is anon

---
 helm/software/components/cic/cicUniv.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
  
-- 
2.39.2