From 66047739ae2c5b4e84084930754d78bc21927b8e Mon Sep 17 00:00:00 2001
From: Jon French
Date: Tue, 1 May 2018 10:35:07 +0100
Subject: rewriting of builtin mappings e.g. int

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

(limited to 'test')

diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail
index 54c88cb8..6cbabed7 100644
--- a/test/ocaml/prelude.sail
+++ b/test/ocaml/prelude.sail
@@ -26,6 +26,7 @@ val string_length = "string_length" : string -> nat
 val string_append = "string_append" : (string, string) -> string
 val maybe_int_of_prefix = "maybe_int_of_prefix" : string -> option((int, nat))
 val maybe_nat_of_prefix = "maybe_nat_of_prefix" : string -> option((nat, nat))
+val maybe_int_of_string = "maybe_int_of_string" : string -> option(int)
 
 val eq_real = "eq_real" : (real, real) -> bool
 
-- 
cgit v1.2.3