fixed another POINTER TO IDENT problem
authorceriel <none@none>
Thu, 19 Jan 1989 10:58:43 +0000 (10:58 +0000)
committerceriel <none@none>
Thu, 19 Jan 1989 10:58:43 +0000 (10:58 +0000)
commitd55d4bb69f2b56f15b9f2e365cf88ad3fad10b6d
treef1aab8579658d148ed4a8699c8149ca76764befe
parentb83fca4445ddc09928c79ac034eed1f79c6045e6
fixed another POINTER TO IDENT problem
lang/m2/comp/Version.c
lang/m2/comp/type.c