X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2FproceduralTypes.mli;h=97ca7fdbb98bd21518673169db3d2d97fcd4f2f0;hb=8ae990161006978a019f0afda4ff8d56a78d1fd0;hp=33a7e9c05c51e16a8f23b97407678daeb4a2e5fe;hpb=380284d5b85bd218f812bc0f9725061912c291f6;p=helm.git

diff --git a/helm/software/components/acic_procedural/proceduralTypes.mli b/helm/software/components/acic_procedural/proceduralTypes.mli
index 33a7e9c05..97ca7fdbb 100644
--- a/helm/software/components/acic_procedural/proceduralTypes.mli
+++ b/helm/software/components/acic_procedural/proceduralTypes.mli
@@ -53,7 +53,7 @@ type step = Note of note
           | Cut of name * what * note
           | LetIn of name * what * note
 	  | Rewrite of how * what * where * pattern * note
-	  | Elim of what * using option * note
+	  | Elim of what * using option * pattern * note
 	  | Apply of what * note
 	  | Change of inferred * what * where * pattern * note
 	  | ClearBody of name * note