Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/search.ML
changeset 23841 598839baafed
parent 23178 07ba6b58b3d2
child 29269 5c25a2012975 
--- a/src/Pure/search.ML	Wed Jul 18 14:44:49 2007 +0200
+++ b/src/Pure/search.ML	Wed Jul 18 14:46:59 2007 +0200
@@ -196,7 +196,7 @@
               else if m>lim then
                        (warning "Search depth limit exceeded: giving up";
                         no_tac)
-              else (warning ("Search depth = " ^ string_of_int m);
+              else (priority ("Search depth = " ^ string_of_int m);
                              tacf m i  ORELSE  dpn (m+inc)))
   in  dpn m  end;
isabelle