From 93f45c7349e64b3acfddbb2c4d2767980a3a5b44 Mon Sep 17 00:00:00 2001
From: Guillaume Munch-Maccagnoni
Date: Sat, 16 Nov 2019 22:50:35 +0100
Subject: failwith -> caml_failwith

---
 kernel/byterun/coq_interp.c | 2 +-
 kernel/byterun/coq_values.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/byterun/coq_interp.c b/kernel/byterun/coq_interp.c
index dd3ff0302e..606cce0127 100644
--- a/kernel/byterun/coq_interp.c
+++ b/kernel/byterun/coq_interp.c
@@ -1763,7 +1763,7 @@ value coq_interprete
 #ifndef THREADED_CODE
     default:
       /*fprintf(stderr, "%d\n", *pc);*/
-      failwith("Coq VM: Fatal error: bad opcode");
+      caml_failwith("Coq VM: Fatal error: bad opcode");
     }
   }
 #endif
diff --git a/kernel/byterun/coq_values.c b/kernel/byterun/coq_values.c
index 3613bc07a6..bbe91da628 100644
--- a/kernel/byterun/coq_values.c
+++ b/kernel/byterun/coq_values.c
@@ -40,7 +40,7 @@ value coq_closure_arity(value clos) {
     c++;
     if (Is_instruction(c,GRAB)) return Val_int(3 + c[1] - Wosize_val(clos));
     else {
-      if (Wosize_val(clos) != 2) failwith("Coq Values : coq_closure_arity");
+      if (Wosize_val(clos) != 2) caml_failwith("Coq Values : coq_closure_arity");
       return Val_int(1);
     }
   }
-- 
cgit v1.2.3