From: Ferruccio Guidi Date: Fri, 31 Mar 2017 11:57:31 +0000 (+0000) Subject: removing extra spaces X-Git-Tag: make_still_working~470 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f8f7942a189860b2fe0fe60765385a7d17a93033;p=helm.git removing extra spaces --- diff --git a/matita/components/ng_tactics/nnAuto.ml b/matita/components/ng_tactics/nnAuto.ml index c42ab8b27..b77c63369 100644 --- a/matita/components/ng_tactics/nnAuto.ml +++ b/matita/components/ng_tactics/nnAuto.ml @@ -1887,23 +1887,3 @@ let auto_tac ~params:(_,flags as params) ?trace_ref = fast_eq_check_tac ~params else auto_tac ~params ?trace_ref ;; - - - - - - - - - - - - - - - - - - - -