chiark / gitweb /
increase headroom
authorian <ian>
Sun, 27 Jul 2008 13:55:23 +0000 (13:55 +0000)
committerian <ian>
Sun, 27 Jul 2008 13:55:23 +0000 (13:55 +0000)
hostside/safety.c

index bea01b3e61e40353dddf16bd4696c73ebe50a19d..2df7bb6be0e618c667a0863345706f59f5c493fd 100644 (file)
@@ -1015,7 +1015,7 @@ static int report_nextseg(TrackLocation *t, struct TrackAdvanceContext *c,
   int r;
 
   u->lookahead++;
-  if (u->lookahead > (int)(NUM_SEGMENTS * 1.5)) {
+  if (u->lookahead > NUM_SEGMENTS * 2) {
     ouprintf(" [... infinite loop!]\n");
     abort();
   }