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

diff --git a/helm/gTopLevel/tests/match06.cic.test b/helm/gTopLevel/tests/match06.cic.test
index d7078f0ac..eb134e429 100644
--- a/helm/gTopLevel/tests/match06.cic.test
+++ b/helm/gTopLevel/tests/match06.cic.test
@@ -1,6 +1,10 @@
 \lambda x:False.
   [\lambda h:False. True]
   match x:False with []
+###### INTERPRETATION NUMBER 1 ######
+### (* disambiguation environment  *)
+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      *)