X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2Fdoc%2Fmain.tex;h=f4eb86c6073b3f02a3e77970a86246569c0e9372;hb=3dd5686d35fa866b08da8f796f8d6c514cf47aca;hp=1fdade8d66dcac3adce5dc4bb5ee1a5b4801816f;hpb=c5e94d35e8f36f868c5a1f02d80a419bfe802ba1;p=helm.git

diff --git a/helm/ocaml/cic_notation/doc/main.tex b/helm/ocaml/cic_notation/doc/main.tex
index 1fdade8d6..f4eb86c60 100644
--- a/helm/ocaml/cic_notation/doc/main.tex
+++ b/helm/ocaml/cic_notation/doc/main.tex
@@ -743,7 +743,7 @@ names will be smaller than the whole matched term.\strut} \hrule
   \GUARDED(\mathtt{default}~P_1~P_2) & = & \GUARDED(P_1) \wedge \GUARDED(P_2) \\
   \GUARDED(\mathtt{if}~P_1~\mathtt{then}~P_2~\mathtt{else}~P_3) & = & \GUARDED(P_2) \wedge \GUARDED(P_3) \\
   \GUARDED(\mathtt{fail}) & = & \TRUE \\
-  \GUARDED(\mathtt{fold}~d~P_1~\mathtt{rec}~x~P_2) & = & \GUARDED(P_2)
+  \GUARDED(\mathtt{fold}~d~P_1~\mathtt{rec}~x~P_2) & = & \GUARDED(P_1)
 \end{array}
 \]
 \hrule