From cc91f49b0803462e9a84d491809db02916caa401 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 26 Sep 2006 17:03:57 +0000 Subject: [PATCH] Two tests used to have the same baseuri. Very bad. --- helm/software/matita/tests/bool.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/tests/bool.ma b/helm/software/matita/tests/bool.ma index 6abd2cbb1..285ff9916 100644 --- a/helm/software/matita/tests/bool.ma +++ b/helm/software/matita/tests/bool.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/SK/". +set "baseuri" "cic:/matita/tests/bool/". include "legacy/coq.ma". -- 2.39.2