diff options
| author | Brian Campbell | 2018-02-22 17:03:42 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-22 17:04:58 +0000 |
| commit | d2825f37136128f5ac92127020a4b4a58bce3636 (patch) | |
| tree | 770a93b89772af8ab6fb59eb575ef4354cddafb0 /src/gen_lib/prompt_monad.lem | |
| parent | 74a4ed8b421ed131db4eb038f59780f09a79629e (diff) | |
Some Lem/OCaml compatibility fixes
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 |