From 54d4716c42bf3c8f35d0537385bceb09c3b348b1 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Tue, 8 May 2018 17:16:09 +0100
Subject: fixed sub-mappings

---
 test/ocaml/prelude.sail | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test')

diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail
index 6cbabed7..5b046104 100644
--- a/test/ocaml/prelude.sail
+++ b/test/ocaml/prelude.sail
@@ -199,6 +199,8 @@ val sub_range = "sub_int" : forall 'n 'm 'o 'p.
 
 val sub_int = "sub_int" : (int, int) -> int
 
+val sub_nat = "sub_int" : (nat, nat) -> nat
+
 val sub_vec : forall 'n. (bits('n), bits('n)) -> bits('n)
 
 val sub_vec_int = "sub_vec_int" : forall 'n. (bits('n), int) -> bits('n)
-- 
cgit v1.2.3