From 1d3d154a2fc748d52b0c970f0c4e83d0ba23fd6d Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 23 Feb 2006 16:21:25 +0000 Subject: [PATCH] - If the timebound is hit, it should be reported anyway, because the results are not to be trusted anymore. --- src/main.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main.c b/src/main.c index a2098a1..5e16eba 100644 --- a/src/main.c +++ b/src/main.c @@ -553,10 +553,10 @@ timersPrint (const System sys) { /* only due to bounds */ eprintf ("[no attack within bounds]"); - if (cl_scan->timebound) - eprintf ("\ttime=%i", get_time_limit ()); } } + if (cl_scan->timebound) + eprintf ("\ttime=%i", get_time_limit ()); } /* states (if asked) */