propagating the arithmetics library, partial commit

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / recommGc.ml

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
index 6ffe876a74157ec220af184d84408916de5ca5a8..12a3ec66491ba8a703ac5186e57417602e85c4a3 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
@@ -1,5 +1,6 @@
 module G1 = RecommGcbGroundCounters
 module G2 = RecommGcdGroundCounters
-module G3 = RecommGcsAttr
-module G4 = RecommGcsMain
-module G5 = RecommGcsWith
+module G3 = RecommGcrGroundCounters
+module G4 = RecommGcsAttr
+module G5 = RecommGcsMain
+module G6 = RecommGcsWith