diff options
Diffstat (limited to 'src/gen_lib/prompt_monad.lem')
| -rw-r--r-- | src/gen_lib/prompt_monad.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gen_lib/prompt_monad.lem b/src/gen_lib/prompt_monad.lem index ff5e3726..38f79868 100644 --- a/src/gen_lib/prompt_monad.lem +++ b/src/gen_lib/prompt_monad.lem @@ -125,7 +125,7 @@ let write_mem_val v = match bytes_of_bits v with | Just v -> let k successful = (return successful) in Write_memv (List.reverse v) k - | Nothing -> fail "write_mem_val" + | Nothing -> Fail "write_mem_val" end val read_reg : forall 's 'rv 'a 'e. register_ref 's 'rv 'a -> monad 'rv 'a 'e |