X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrecommGcrGroundArith.ml;h=136681a291b63f3907b44ea1bac92e538332a2c9;hp=091cc7f5f52e8fa2433cba677e18840549a66972;hb=ae626612bff9c3746dd7647bbada791c737e348c;hpb=4d232392091ee233afc26ecf3120dd5f5c6a33c8

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundArith.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundArith.ml
index 091cc7f5f..136681a29 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundArith.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundArith.ml
@@ -8,7 +8,6 @@ let step k st outs ins =
   | "STRICT" :: "ORDER" :: tl -> k T.OK ("ORDER" :: "STRICT" :: outs) tl
   | "ORDER" :: tl -> k T.OK ("ORDER" :: outs) tl
   | "MAXIMUM" :: tl -> k T.OK ("MAXIMUM" :: outs) tl
-  | "MAXIMUN" :: tl -> k T.OK ("MAXIMUM" :: outs) tl
   | "LEFT" :: "SUBTRACTION" :: tl -> k T.OK ("SUBTRACTION" :: "LEFT" :: outs) tl
   | "SUBTRACTION" :: tl -> k T.OK ("SUBTRACTION" :: outs) tl
   | "ADDITION" :: tl -> k T.OK ("ADDITION" :: outs) tl