X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Ftests%2Fmatch06.cic.test;h=eb134e429a5bf557db2e84c3fe34717d70dac30a;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=0410956381d04f3099214fe854687e9ae4e57d7b;hpb=9b0237f419714f67bfe4ae0cdee2c59986588e50;p=helm.git

diff --git a/helm/gTopLevel/tests/match06.cic.test b/helm/gTopLevel/tests/match06.cic.test
index 041095638..eb134e429 100644
--- a/helm/gTopLevel/tests/match06.cic.test
+++ b/helm/gTopLevel/tests/match06.cic.test
@@ -3,8 +3,8 @@
   match x:False with []
 ###### INTERPRETATION NUMBER 1 ######
 ### (* disambiguation environment  *)
-alias id False = cic:/Coq/Init/Logic/False.ind#1/1
-alias id True = cic:/Coq/Init/Logic/True.ind#1/1
+alias id False = cic:/Coq/Init/Logic/False.ind#xpointer(1/1)
+alias id True = cic:/Coq/Init/Logic/True.ind#xpointer(1/1)
 ### (* METASENV after disambiguation  *)
 
 ### (* TERM after disambiguation      *)