- disk dumping of ex-lexicon commands almost implemented

[helm.git] / matita / components / content / notationUtil.ml

diff --git a/matita/components/content/notationUtil.ml b/matita/components/content/notationUtil.ml
index 98e1ba663b9adaac3868f9e4ac8879e3cb5054f0..a2ab34833cd098ea72335c56d9242c2ec60498cf 100644 (file)
--- a/matita/components/content/notationUtil.ml
+++ b/matita/components/content/notationUtil.ml
@@ -397,3 +397,4 @@ let freshen_obj obj =
 
 let freshen_term = freshen_term ?index:None
 
+let refresh_uri_in_term t = assert false