X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2Facic2Procedural.ml;h=380e52efec280ca40f308a92b5e0bcafd00c2998;hb=9e03c0de729a0c42cfdd55a2cee085a59f7632a8;hp=1660df50dd9401d80c445f92388d1271d566c1aa;hpb=a89360d64f1fcbba917ad743b97a2d973ecf6db2;p=helm.git

diff --git a/helm/software/components/acic_procedural/acic2Procedural.ml b/helm/software/components/acic_procedural/acic2Procedural.ml
index 1660df50d..380e52efe 100644
--- a/helm/software/components/acic_procedural/acic2Procedural.ml
+++ b/helm/software/components/acic_procedural/acic2Procedural.ml
@@ -92,7 +92,7 @@ let push st = {st with case = 1 :: st.case}
 
 let inc st =
    {st with case = match st.case with 
-      | []       -> assert false
+      | []       -> []
       | hd :: tl -> succ hd :: tl
    }