Fix comment syntax for highlighting
commita0d6d1862d5eb4c12449c50f6051b314bbb4911c
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 14 Nov 2013, 16:39 (13 years ago)
parent8f95300
src/Idris/IBC.hs+1−1
@@ -643,7 +643,7 @@ instance Binary NameType where
643643 _ -> error "Corrupted binary data for NameType"
644644
645645
646−instance {-(Binary n) =>-} Binary (TT Name) where
646+instance {- (Binary n) => -} Binary (TT Name) where
647647 put x
648648 = {-# SCC "putTT" #-}
649649 case x of