Removed another fake nested function.

This commit is contained in:
Cas Cremers 2018-12-24 15:57:45 +01:00
parent dc8c37aa59
commit 9a336ce2eb

View File

@ -2537,6 +2537,19 @@ iterate_buffer_attacks (void)
}
}
//! Helper for the next code.
int
realStart (void)
{
#ifdef DEBUG
if (DEBUGL (5))
{
printSemiState ();
}
#endif
return iterate_buffer_attacks ();
}
//! Arachne single claim test
void
arachneClaimTest (Claimlist cl)
@ -2573,17 +2586,6 @@ arachneClaimTest (Claimlist cl)
{
int newgoals;
int realStart (void)
{
#ifdef DEBUG
if (DEBUGL (5))
{
printSemiState ();
}
#endif
return iterate_buffer_attacks ();
}
proof_suppose_run (run, 0, cl->ev + 1);
newgoals = add_recv_goals (run, 0, cl->ev + 1);