Commit c2142ca6 authored by Edward Z. Yang's avatar Edward Z. Yang

Fix Mac OS X build by removing space after ASSERT.

Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>
parent 01490b4c
......@@ -983,7 +983,7 @@ checkBootTyCon is_boot tc1 tc2
`andThenCheck`
-- Don't report roles errors unless the type synonym is nullary
checkUnless (not (null tvs)) $
ASSERT ( null roles2 )
ASSERT( null roles2 )
-- If we have something like:
--
-- signature H where
......
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