From c14769550b5aab168ca55b571d1f656ef0ab0001 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 30 Jun 2005 11:44:06 +0000
Subject: [PATCH] baseuri put back

---
 helm/matita/tests/inversion.ma | 2 ++
 1 file changed, 2 insertions(+)

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