Commit 9584804c authored by Ian Lynagh's avatar Ian Lynagh

Remove an unnecessary -w flag

parent 81a1f4fc
{-# OPTIONS -w #-}
-- The above warning supression flag is a temporary kludge.
-- While working on this module you are encouraged to remove it and fix
-- any warnings in the module. See
-- for details
-- (c) The University of Glasgow 2003-2006
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment