X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Fv8Parser.mly;h=721cdd14109f1b3dcd21dfa7f98c07f0e15bc819;hb=48794769c34c57e3ead42edc8c8eca5333e857ea;hp=4627cf9a277cb7e33e4d35e01422776f8e863206;hpb=4dc282b8b71479d45704b414d1a10a27e71752f1;p=helm.git

diff --git a/helm/software/components/binaries/transcript/v8Parser.mly b/helm/software/components/binaries/transcript/v8Parser.mly
index 4627cf9a2..721cdd141 100644
--- a/helm/software/components/binaries/transcript/v8Parser.mly
+++ b/helm/software/components/binaries/transcript/v8Parser.mly
@@ -59,6 +59,7 @@
         | "Theorem"    -> Some `Theorem
         | "Definition" -> Some `Definition
         | "Fixpoint"   -> Some `Definition
+        | "CoFixpoint" -> Some `Definition
         | "Let"        -> Some `Definition
 	| "Scheme"     -> Some `Theorem
         | _            -> assert false