update in ground

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / recommStep.mli

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommStep.mli b/matita/matita/contribs/lambdadelta/bin/recomm/recommStep.mli
index df91cd169b4068e08ad00376928d775f9289228d..76003832a090ec7331f373cbf0733c04e8ecfbbc 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommStep.mli
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommStep.mli
@@ -1,4 +1,3 @@
 val id: ('s, 't) RecommTypes.astep
 
 val register: ('s, 't) RecommTypes.astep ref -> ('s, 't) RecommTypes.astep -> unit
-