From 29e51cc6af00571ea467067968d61a158deff497 Mon Sep 17 00:00:00 2001
From: Stephen Paul Weber <singpolyma@singpolyma.net>
Date: Mon, 29 Jan 2024 11:25:20 -0500
Subject: [PATCH] Fix types

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

diff --git a/bin/test_snikket_launch b/bin/test_snikket_launch
index 5ffec163265d18854c1a57bb96314b6500a55416..b7c8776bc593b922ad1781cad132127ae94b404d 100755
--- a/bin/test_snikket_launch
+++ b/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