chiark / gitweb /
Do not increment lookahead before !!done_fdet (!)
authorian <ian>
Sun, 27 Jul 2008 15:17:15 +0000 (15:17 +0000)
committerian <ian>
Sun, 27 Jul 2008 15:17:15 +0000 (15:17 +0000)
commit7d261934d68de7d5a19e84ec7a228e9f55754675
tree0093507716882cc687305f14a1350cf6372056a8
parent4f52d9079753a979ce9e27a1d88469f37f564141
Do not increment lookahead before !!done_fdet (!)
hostside/safety.c