Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!CS.UCL.AC.UK!S.Walton
From: S.Walton@CS.UCL.AC.UK (Simon Walton)
Newsgroups: comp.protocols.iso.dev-environ
Subject: Re: bug in ISODE-5.0 ?
Message-ID: <13514.614273031@UK.AC.UCL.CS>
Date: 19 Jun 89 15:23:51 GMT
References: <523@stca77.stc.oz>
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: inet
Organization: The Internet
Lines: 27


   You are right, this is a bug. This fix seems to do the
trick.

Simon

-----------------
*** rosy.c.sav  Sun Mar 19 07:42:46 1989
--- rosy.c      Mon Jun 19 16:15:06 1989
***************
*** 1354,1359

      if ((y1 = *yp) == NULLYP || y1 -> yp_code == YP_IDEFINED)
        return;

      (void) sprintf (buffer, "Pseudo-%s", id);
      for (i = 1; lookup_type (mymodule, buffer); i++)

--- 1354,1361 -----

      if ((y1 = *yp) == NULLYP || y1 -> yp_code == YP_IDEFINED)
        return;
+     y1 -> yp_id = NULLCP;
+     y1 -> yp_flags &= ~YP_ID;

      (void) sprintf (buffer, "Pseudo-%s", id);
      for (i = 1; lookup_type (mymodule, buffer); i++)