From e40b15cc5d3660c8dca8eb3e4e1e10950efcbdc7 Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Mon, 7 Aug 2017 08:37:20 -0700
Subject: [PATCH] Fix type signatures in MiniLock SCrypt example

---
 examples/MiniLock/prim/SCrypt.cry | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/examples/MiniLock/prim/SCrypt.cry b/examples/MiniLock/prim/SCrypt.cry
index 5830dc29..5b87020c 100644
--- a/examples/MiniLock/prim/SCrypt.cry
+++ b/examples/MiniLock/prim/SCrypt.cry
@@ -47,6 +47,7 @@ MFcrypt : { pwBytes, saltBytes, dkLen, r, N }
           ,  512 >= width N, 1+width N >= width (N-1)
           , 32 >= width ((255 + 8 * dkLen) / 256)
           , 32 >= width (4 + 128 * r)
+          , N >= 1
           )
         => [pwBytes][8] -> [saltBytes][8] -> [dkLen][8]
 MFcrypt P S = split DK
@@ -63,6 +64,7 @@ SCrypt : {pwBytes, saltBytes, dkBytes, r, N}
          , 512 >= width N, 1+width N >= width (N-1)
          , 32 >= width (4 + saltBytes)
          , 32 >= width (4 + 128 * r)
+         , N >= 1
          )
       => [pwBytes][8] -> [saltBytes][8] -> [dkBytes][8]
 SCrypt P S = MFcrypt `{r=r,N=N} P S