# HG changeset patch
# User wenzelm
# Date 1262694893 -3600
# Node ID 8e36b3ac6083ad8d891f4cfd3d92a6ac7ded6f44
# Parent  2524c1bbd087f47c9543760806b8db092a92c98f
slightly shorter tail (again) -- theory loader produces less warning spam (cf. 2524c1bbd087);

diff -r 2524c1bbd087 -r 8e36b3ac6083 lib/Tools/usedir
--- a/lib/Tools/usedir	Tue Jan 05 00:04:29 2010 +0100
+++ b/lib/Tools/usedir	Tue Jan 05 13:34:53 2010 +0100
@@ -261,7 +261,7 @@
 else
   { echo "$ITEM FAILED";
     echo "(see also $LOG)";
-    echo; tail -40 "$LOG"; echo; } >&2
+    echo; tail -20 "$LOG"; echo; } >&2
 fi
 
 exit "$RC"