X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_tactics%2FnnAuto.ml;h=b841f87e76f34eba283b68b9cdd5f6479eb85ecd;hb=98f3202363b4baf3bf8e13af10f086ca1cf848be;hp=8cf11d98cd939c4173e363a4787429f7494de308;hpb=c8d73368c6279460b6525834895ee2d65be3bda3;p=helm.git

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