src/Pure/search.ML
changeset 23841 598839baafed
parent 23178 07ba6b58b3d2
child 29269 5c25a2012975
     1.1 --- a/src/Pure/search.ML	Wed Jul 18 14:44:49 2007 +0200
     1.2 +++ b/src/Pure/search.ML	Wed Jul 18 14:46:59 2007 +0200
     1.3 @@ -196,7 +196,7 @@
     1.4                else if m>lim then
     1.5                         (warning "Search depth limit exceeded: giving up";
     1.6                          no_tac)
     1.7 -              else (warning ("Search depth = " ^ string_of_int m);
     1.8 +              else (priority ("Search depth = " ^ string_of_int m);
     1.9                               tacf m i  ORELSE  dpn (m+inc)))
    1.10    in  dpn m  end;
    1.11