Fix types

Stephen Paul Weber created 2 years ago

Change summary

bin/test_snikket_launch | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)

Detailed changes

bin/test_snikket_launch

@@ -29,8 +29,8 @@ CONFIG = Dhall.load(<<-DHALL).sync
 		jid: Text,
 		password: Text,
 		sgx_jmp: Text,
-		interval: Int,
-		max_attempts: Int
+		interval: Natural,
+		max_attempts: Natural
 	}
 DHALL