Fix warning.
authorDavid Terei <davidterei@gmail.com>
Tue, 18 Oct 2011 22:59:35 +0000 (15:59 -0700)
committerDavid Terei <davidterei@gmail.com>
Tue, 18 Oct 2011 22:59:35 +0000 (15:59 -0700)
commit53f1414526a7c6a844568a82fdfc0553d7b66ab8
tree84fce7eca0311d4ceecac8b9f7ee07a61ec5d4a4
parent78df9af0155279329a10c5e44d0b5dbbb18007a9
Fix warning.
compiler/utils/Platform.hs