fix bug in previous commit, 65e46f144f3d8b18de7264b0b099086153c68d6c
authorSimon Marlow <marlowsd@gmail.com>
Wed, 14 Nov 2012 10:12:56 +0000 (10:12 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 16 Nov 2012 11:26:19 +0000 (11:26 +0000)
commit97dc57c6e2bdbddd0a0170a283149a570a07179c
treecfc8e60fe5df4349254a8e23950a7ca9daee5aa5
parent6e4f6c624fcd72dca11d7856f1a1914a01c22718
fix bug in previous commit, 65e46f144f3d8b18de7264b0b099086153c68d6c
rts/sm/Sanity.c