From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 30 Jun 2005 11:44:06 +0000 (+0000)
Subject: baseuri put back
X-Git-Tag: PRE_GETTER_STORAGE~97
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c14769550b5aab168ca55b571d1f656ef0ab0001;p=helm.git

baseuri put back
---

diff --git a/helm/matita/tests/inversion.ma b/helm/matita/tests/inversion.ma
index 8f57534be..888ec5abd 100644
--- a/helm/matita/tests/inversion.ma
+++ b/helm/matita/tests/inversion.ma
@@ -1,3 +1,5 @@
+set "baseuri" "cic:/matita/tests/".
+
 inductive nat : Set \def
    O : nat
  | S : nat \to nat.