Remove bit accidentally left over from the merge
commit0e10ed2c37cffbad60f61ee7fafde07ad05016f6
authorTom Tromey <tromey@redhat.com>
Mon, 17 Dec 2012 15:48:33 +0000 (17 08:48 -0700)
committerTom Tromey <tromey@redhat.com>
Mon, 17 Dec 2012 15:48:33 +0000 (17 08:48 -0700)
tree0db78dce13bc4e6e66946f7e06f1b855861f37fd
parent3d6eced1ae51ffd0a782130e7c334052277e2724
Remove bit accidentally left over from the merge
src/process.c