diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/hol/prompt_monad.lem | 3 |
1 files changed, 3 insertions, 0 deletions
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 |