Merge pull request #4581 from pykello/fix_stylize
Fix stylization problems.
commit62b7aaba5ffb7de1f9b1e03e6ffd586fa273d5e5
authorNiklas Larsson <metaniklas@gmail.com>
dateTue 6 Nov 2018, 11:55 (8 years ago)
parent8362faa71bad46
src/Idris/IBC.hs+1−1
@@ -269,7 +269,7 @@ calculateHash ist f
269269 mkHashFrom (map fst acc) (getDefs acc)
270270 where
271271 mkHashFrom :: [Name] -> [Term] -> Int
272− mkHashFrom ns tms = sum (L.zipWith hashName [1..] ns) +
272+ mkHashFrom ns tms = sum (L.zipWith hashName [1..] ns) +
273273 sum (L.zipWith hashTerm [1..] tms)
274274
275275 exported (_, Public) = True