Don't enable trace in set_trace test.
authorRichard Jones <rjones@trick.home.annexia.org>
Mon, 14 Sep 2009 15:21:04 +0000 (16:21 +0100)
committerRichard Jones <rjones@trick.home.annexia.org>
Mon, 14 Sep 2009 18:12:31 +0000 (19:12 +0100)
commit59b487b7dd9db0dd6f262ca4b39c471c7d6cfa53
tree8c01e6f6f65344e8347ee3cb15f0ec57248d64f6
parentf9071160c1a5fe21a825398a81ba3ca584892a4e
Don't enable trace in set_trace test.

This leaves trace enabled afterwards, resulting in some
ugly test messages.
src/generator.ml