From d2825f37136128f5ac92127020a4b4a58bce3636 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 22 Feb 2018 17:03:42 +0000
Subject: Some Lem/OCaml compatibility fixes

---
 src/gen_lib/prompt_monad.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/gen_lib/prompt_monad.lem')

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
-- 
cgit v1.2.3