ocaml 3.09 transition

[helm.git] / helm / gTopLevel / tests / match06.cic.test

diff --git a/helm/gTopLevel/tests/match06.cic.test b/helm/gTopLevel/tests/match06.cic.test
index 0410956381d04f3099214fe854687e9ae4e57d7b..eb134e429a5bf557db2e84c3fe34717d70dac30a 100644 (file)
--- 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      *)