git.iko.soy/Idris-dev
on master help sign in
fix typo
9d6855ebe5invis
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -2292,7 +2292,7 @@ instance (Binary t) => Binary (PDo' t) where
2292 put x1
2292 put x1
2293 put x2
2293 put x2
2294 put x3
2294 put x3
2295− DoRewrite x1 x2 -> do putWord8 3
2295+ DoRewrite x1 x2 -> do putWord8 5
2296 put x1
2296 put x1
2297 put x2
2297 put x2
2298 get
2298 get