fixed problem: sometimes incorrect labels were generated in case descriptors
authorceriel <none@none>
Wed, 4 Oct 1989 14:39:55 +0000 (14:39 +0000)
committerceriel <none@none>
Wed, 4 Oct 1989 14:39:55 +0000 (14:39 +0000)
commit0364de3a9cbade5ee1863b8ab97edbed6139c1a3
treee3ebdb77870bcbe97a44d309152668ab2bd7ffb6
parentf3a7c72ddb09d10b1c97a506c6341a1146fd478a
fixed problem: sometimes incorrect labels were generated in case descriptors
util/opt/process.c