From 98f3202363b4baf3bf8e13af10f086ca1cf848be Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Thu, 20 Oct 2011 16:13:06 +0000 Subject: [PATCH] typos --- matitaB/components/ng_tactics/nnAuto.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matitaB/components/ng_tactics/nnAuto.ml b/matitaB/components/ng_tactics/nnAuto.ml index 8cf11d98c..b841f87e7 100644 --- a/matitaB/components/ng_tactics/nnAuto.ml +++ b/matitaB/components/ng_tactics/nnAuto.ml @@ -1394,7 +1394,7 @@ let do_something signature flags status g depth gty cache = debug_print ~depth (lazy ("alternatives = " ^ (string_of_int (List.length (l1@l@l2))))); (* we order alternatives w.r.t the number of subgoals they open *) - l1 @ (sort_new_elems l2) @ l), cache + l1 @ (sort_new_elems l2) @ l, cache ;; let pp_goal = function -- 2.39.2