| Title | mpstd.h defines unused symbol MPS_T_SHORT for some platforms |
| Status | closed |
| Priority | optional |
| Assigned user | Nick Barnes |
| Organization | Ravenbrook |
| Description | MPS_T_SHORT is defined for a couple of platforms in mpstd.h. This symbol is not defined for other platforms, is not documented in the manual, and is not used anywhere in the MPS. It should be removed. |
| Analysis | Remove the offending couple of lines from mpstd.h |
| How found | inspection |
| Evidence | I just know. |
| Observed in | 1.100.0 |
| Introduced in | 1.100.0 |
| Created by | Nick Barnes |
| Created on | 2002-06-21 15:05:38 |
| Last modified by | Nick Barnes |
| Last modified on | 2002-06-21 15:05:38 |
| History | 2002-06-21 NB Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 30381 | closed | 2002-06-21 15:06:03 | Nick Barnes | Remove mpstd.h |