From 0da491e737259866d1b821590bd29b4f287305d9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 6 Jul 2005 12:47:51 +0000
Subject: [PATCH] fix

---
 helm/matita/matita.ma.templ | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/matita/matita.ma.templ b/helm/matita/matita.ma.templ
index 0a57c97cd..157c010d1 100644
--- a/helm/matita/matita.ma.templ
+++ b/helm/matita/matita.ma.templ
@@ -12,5 +12,5 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/tests/<fill here>".
+set "baseuri" "cic:/matita/<fill here>".
 
-- 
2.39.2