baseuri put back

[helm.git] / helm / matita / tests / inversion.ma

diff --git a/helm/matita/tests/inversion.ma b/helm/matita/tests/inversion.ma
index 8f57534be4d0ffa0159bc86fea7f7abddd2ecaa7..888ec5abd130ae290ec3d09555a4859c0f8fbde2 100644 (file)
--- 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.