From f8f7942a189860b2fe0fe60765385a7d17a93033 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 31 Mar 2017 11:57:31 +0000 Subject: [PATCH] removing extra spaces --- matita/components/ng_tactics/nnAuto.ml | 20 -------------------- 1 file changed, 20 deletions(-) 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 ;; - - - - - - - - - - - - - - - - - - - - -- 2.39.2