some improvements

[helm.git] / components / acic_procedural / proceduralTypes.mli

diff --git a/components/acic_procedural/proceduralTypes.mli b/components/acic_procedural/proceduralTypes.mli
index f26c19d87e8383d447184d1608d3336048f8204c..980bc1bc1c71796fe462829b96caa0414968775d 100644 (file)
--- a/components/acic_procedural/proceduralTypes.mli
+++ b/components/acic_procedural/proceduralTypes.mli
@@ -54,7 +54,6 @@ type step = Note of note
          | Rewrite of how * what * where * note
          | Elim of what * using option * note
          | Apply of what * note
-         | Whd of count * note
          | Change of inferred * what * where * note
          | ClearBody of name * note
          | Branch of step list list * note