From 823fe1d82e753add2d54ba010689a81af027ba6d Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 10 May 2018 14:52:31 +0100
Subject: RISC-V in HOL4

---
 lib/hol/prompt_monad.lem | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/hol')

diff --git a/lib/hol/prompt_monad.lem b/lib/hol/prompt_monad.lem
index b1ef4bcc..4481f623 100644
--- a/lib/hol/prompt_monad.lem
+++ b/lib/hol/prompt_monad.lem
@@ -30,3 +30,6 @@ let inline write_tag = write_tagS
 let inline write_mem_ea wk addr sz = write_mem_eaS wk addr (nat_of_int sz)
 let inline write_mem_val = write_mem_valS
 let barrier _ = return ()
+
+let inline excl_result = excl_resultS
+let inline assert_exp = assert_expS
\ No newline at end of file
-- 
cgit v1.2.3