Update to match the newer cmpint-md.h
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Thu, 23 Nov 1989 21:32:46 +0000 (21:32 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Thu, 23 Nov 1989 21:32:46 +0000 (21:32 +0000)
commitbaec625545efb40a9e15854fa9dc6638cc4b4490
treeab22d006329e2fa74da925445f2c1c9a15947dae
parentdd1aba278b6eb44564610d8774fde2c159141a0b
Update to match the newer cmpint-md.h
v7/src/compiler/documentation/cmpint.txt