From 2b7b84fd9d288977243e859794334723ffaf407a Mon Sep 17 00:00:00 2001
From: Mario Carneiro <di.gama@gmail.com>
Date: Wed, 25 Sep 2024 17:28:23 +0200
Subject: [PATCH] more context lines on failure

---
 tools/Holmake/poly/MB_Monitor.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/Holmake/poly/MB_Monitor.sml b/tools/Holmake/poly/MB_Monitor.sml
index 03dfc2dbff..2f6cb52115 100644
--- a/tools/Holmake/poly/MB_Monitor.sml
+++ b/tools/Holmake/poly/MB_Monitor.sml
@@ -294,7 +294,7 @@ fun new {info,warn,genLogFile,time_limit,multidir} =
           let
             val strm = TextIO.openOut (genLogFile{tag = tag, dir = dir})
             val tb = tailbuffer.new {
-                  numlines = 10,
+                  numlines = 50,
                   patterns = [cheat_string, oracle_string, used_cheat_string,
                               fastcheat_string]
                 }