Remove extra copy of new debug code that somehow got inserted twice.
authorPhilip Hazel <ph10@hermes.cam.ac.uk>
Mon, 28 Nov 2005 09:47:20 +0000 (09:47 +0000)
committerPhilip Hazel <ph10@hermes.cam.ac.uk>
Mon, 28 Nov 2005 09:47:20 +0000 (09:47 +0000)

No differences found