- /*@i2@*/ sinfo->previous = sfirst; /* spurious? */
- DPRINTF (("Sorted ==> %s", stateInfo_unparse (sinfo)));
- /*@i2@*/ return sinfo; /* spurious? */
+ /*@i2@*/ stinfo->previous = sfirst; /* spurious? */
+ DPRINTF (("Sorted ==> %s", stateInfo_unparse (stinfo)));
+ /*@i2@*/ return stinfo; /* spurious? */