git.iko.soy/Idris-dev
on master help sign in
fix typo
commit9d6855eb57ab8d683d2eee791288a75e0b10ee6a authorbe5invis <belleve@typeof.net> dateSun 4 Jun 2017, 18:56 (9 years ago) parent96a982a
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/IBC.hs+1−1
src/Idris/IBC.hs+1−1
@@ -2292,7 +2292,7 @@ instance (Binary t) => Binary (PDo' t) where
22922292 put x1
22932293 put x2
22942294 put x3
2295− DoRewrite x1 x2 -> do putWord8 3
2295+ DoRewrite x1 x2 -> do putWord8 5
22962296 put x1
22972297 put x2
22982298 get