Back out workaround for issue #375.

GaloisInc · Aug 1, 2017 · dcc143e · dcc143e
1 parent 771d07f
commit dcc143e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/examples/SIV-rfc5297.md b/examples/SIV-rfc5297.md
@@ -554,14 +554,14 @@ ctr32 : {n} (2^^39 - 128 >= n) => Key -> [128] -> [n] -> [n]
 ctr32 k iv pt = pt ^ take stream
  where
  stream = join [E(k,v) | v <- ivs]
- ivs    = [take `{96} iv # cnt + i | i <- [0...]]
+ ivs    = [take `{96} iv # cnt + i | i <- [0,1..]]
  cnt    = drop `{back=32} iv
 
 ctr64 : {n} (2^^71 - 128 >= n) => Key -> [128] -> [n] -> [n]
 ctr64 k iv pt = pt ^ take stream
  where
  stream = join [E(k,v) | v <- ivs]
- ivs    = [take `{64} iv # cnt + i | i <- [0...]]
+ ivs    = [take `{64} iv # cnt + i | i <- [0,1..]]
  cnt    = drop `{back=64} iv
 ```