Fix comment syntax for highlighting
commit1203cb907a9cea3fd727365d0167c3d20af2d97f
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 14 Nov 2013, 16:39 (13 years ago)
parent52d8165
src/Idris/IBC.hs+1−1
@@ -624,7 +624,7 @@ instance Binary NameType where
624624 _ -> error "Corrupted binary data for NameType"
625625
626626
627−instance {-(Binary n) =>-} Binary (TT Name) where
627+instance {- (Binary n) => -} Binary (TT Name) where
628628 put x
629629 = {-# SCC "putTT" #-}
630630 case x of