X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Ftests%2Fmatch05.cic.test;h=0c77d5dc41bcfd59cbbdb0bdad7b6e584b3095ab;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=921264d6ac04b1607d34d4c168a669e912107b0c;hpb=9b0237f419714f67bfe4ae0cdee2c59986588e50;p=helm.git

diff --git a/helm/gTopLevel/tests/match05.cic.test b/helm/gTopLevel/tests/match05.cic.test
index 921264d6a..0c77d5dc4 100644
--- a/helm/gTopLevel/tests/match05.cic.test
+++ b/helm/gTopLevel/tests/match05.cic.test
@@ -4,9 +4,9 @@ match nil:list with
 | (cons x y) \Rightarrow (cons x y) ]
 ###### INTERPRETATION NUMBER 1 ######
 ### (* disambiguation environment  *)
-alias id cons = cic:/Algebra/algebra/ListType/list.ind#1/1/2
-alias id list = cic:/Algebra/algebra/ListType/list.ind#1/1
-alias id nil = cic:/Algebra/algebra/ListType/list.ind#1/1/1
+alias id cons = cic:/CoRN/algebra/ListType/list.ind#1/1/2
+alias id list = cic:/CoRN/algebra/ListType/list.ind#1/1
+alias id nil = cic:/CoRN/algebra/ListType/list.ind#1/1/1
 ### (* METASENV after disambiguation  *)
 _ :? _; _ :? _ |- ?25: Type
 ### (* TERM after disambiguation      *)