X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrecommGcdGroundRelocation.ml;h=a146ffc983aa81569c4c014574bfcaf1232ae536;hp=349cf6b36f9df5dadf6329557d2f73047c0e1303;hb=f8b4eb67c2437f7b5174d7dca46e102e0ac0d19d;hpb=8bbe582d87984526f40182c4409cbfd43108cb79

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundRelocation.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundRelocation.ml
index 349cf6b36..a146ffc98 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundRelocation.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundRelocation.ml
@@ -4,7 +4,7 @@ module R = RecommPccFor
 let step k st outs ins =
   if st <> T.OO then k st outs ins else
   match ins with
-  | "GENERIC" :: "RELOCATION" :: "MAPS" :: tl -> k T.OK ("MAPS" :: "RELOCATION" :: "GENERIC" :: outs) tl
+  | "PARTIAL" :: "RELOCATION" :: "MAPS" :: tl -> k T.OK ("MAPS" :: "RELOCATION" :: "PARTIAL" :: outs) tl
   | "FINITE" :: "RELOCATION" :: "MAPS" :: "WITH" :: "PAIRS" :: tl -> k T.OK ("PAIRS" :: "WITH" :: "MAPS" :: "RELOCATION" :: "FINITE" :: outs) tl
   | "FINITE" :: "RELOCATION" :: "MAPS" :: tl -> k T.OK ("MAPS" :: "RELOCATION" :: "FINITE" :: outs) tl
   | _ -> k T.OO outs ins