From 58836205da846571afdb7994a9d5915f6fbae09f Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 10 Jul 2018 11:40:28 +0100
Subject: Aarch64 mono script update

---
 src/gen_lib/sail2_values.lem | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/gen_lib/sail2_values.lem b/src/gen_lib/sail2_values.lem
index 0f384cab..003eedc7 100644
--- a/src/gen_lib/sail2_values.lem
+++ b/src/gen_lib/sail2_values.lem
@@ -53,6 +53,8 @@ val prerr_endline : string -> unit
 let prerr_endline _ = ()
 declare ocaml target_rep function prerr_endline = `prerr_endline`
 
+let prerr x = prerr_endline x
+
 val print_int : string -> integer -> unit
 let print_int msg i = print_endline (msg ^ (stringFromInteger i))
 
-- 
cgit v1.2.3