X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Fground_1.conf.xml;h=ec9676bb4888c4829848d8d34f7aea4b4972dc4d;hb=ae626612bff9c3746dd7647bbada791c737e348c;hp=3c5fab2212088aff3733a01d150734a9e299ab3d;hpb=da42c465b04bbfc470e73b8060155d1aadd184c5;p=helm.git

diff --git a/matita/components/binaries/matex/test/ground_1.conf.xml b/matita/components/binaries/matex/test/ground_1.conf.xml
index 3c5fab221..ec9676bb4 100644
--- a/matita/components/binaries/matex/test/ground_1.conf.xml
+++ b/matita/components/binaries/matex/test/ground_1.conf.xml
@@ -25,7 +25,7 @@
 
     <key name="const">$(devel.ground1).blt.defs.blt.blt.type FunLt 2 0</key>
     <key name="const">$(devel.ground1).plist.defs.papp.papp.type Append 2 0</key>
-    <key name="const">$(devel.ground1).plist.defs.PConsTail.PConsTail.type RevConsB 3 0</key>
+    <key name="const">$(devel.ground1).plist.defs.PConsTail.PConsTail.type CoConsB 3 0</key>
     <key name="const">$(devel.ground1).plist.defs.PList.PCons.type ConsB 3 0</key>
     <key name="const">$(devel.ground1).plist.defs.Ss.Ss.type Succ 1 0</key>
   </section>