** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
** MA 02111-1307, USA.
**
-** For information on splint: splint@cs.virginia.edu
-** To report a bug: splint-bug@cs.virginia.edu
+** For information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
** For more information: http://www.splint.org
*/
/*
} end_mtLoseReferenceList_elements ;
}
- /*@-usedef@*/
- DPRINTF (("metastate: %s", metaStateInfo_unparse (msinfo)));
- /*@=usedef@*/
-
tmerge = stateCombinationTable_create (nvalues);
/* Default merge is to make all incompatible mergers errors. */