Eliminate old alias.
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Wed, 21 Oct 1992 00:49:57 +0000 (00:49 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Wed, 21 Oct 1992 00:49:57 +0000 (00:49 +0000)
commitac574ea7627bfcd5547f17eef6d7003489825394
tree7e777631f559c2cbc0b00abb0942a40bf3684868
parent23225357ebadd2f376559a6443d4b1a262ff5ddb
Eliminate old alias.
v7/src/microcode/prename.h