From fc577e43ddbfce9a9c049cbc1ffdf97f8da57fce Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 23 Nov 2016 20:14:11 +0000
Subject: [PATCH] a linearized reference was still present ...

---
 matita/matita/matitaMathView.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/matita/matita/matitaMathView.ml b/matita/matita/matitaMathView.ml
index 09441303b..ea9683e18 100644
--- a/matita/matita/matitaMathView.ml
+++ b/matita/matita/matitaMathView.ml
@@ -333,7 +333,9 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history)
       HExtlib.safe_remove filename
   in
   object (self)
-    val mutable gviz_uri = NReference.reference_of_string "cic:/dummy.dec";
+    val mutable gviz_uri =
+      let uri = NUri.uri_of_string "cic:/dummy/dec.con" in
+      NReference.reference_of_spec uri NReference.Decl;
 
     val dep_contextual_menu = GMenu.menu ()
 
-- 
2.39.2