#ifndef lint
static char copyright[] =
- "@(#) Copyright (c) 1989 The Regents of the University of California.\n\
- All rights reserved.\n";
+ "@(#) Copyright (c) 1989 The Regents of the University of California.\n";
+static char CR_continuation[] = "@(#) All rights reserved.\n";
static char rcsid[] =
"@(#) $Header$ (LBL)";
int mach;
{
- int i, state, init, last = lastst[mach], state_offset;
+ int i, init, state_offset;
+ int state = 0;
+ int last = lastst[mach];
for ( i = firstst[mach]; i <= last; ++i )
{
accptnum[state] = accptnum[i];
}
+ if ( state == 0 )
+ flexfatal( "empty machine in dupmachine()" );
+
state_offset = state - i + 1;
init = mach + state_offset;