From 053b1fa953aeec3a271d9704baf611e83b84ba93 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 19 Jun 2018 18:41:15 +0100
Subject: Coq: use undefined_bitvector

---
 src/process_file.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/process_file.mli')

diff --git a/src/process_file.mli b/src/process_file.mli
index cc94888e..0fec4064 100644
--- a/src/process_file.mli
+++ b/src/process_file.mli
@@ -54,7 +54,7 @@ val preprocess_ast : Parse_ast.defs -> Parse_ast.defs
 val check_ast: Type_check.Env.t -> unit Ast.defs -> Type_check.tannot Ast.defs * Type_check.Env.t
 val monomorphise_ast : ((string * int) * string) list -> Type_check.Env.t -> Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs * Type_check.Env.t
 val rewrite_ast: Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs
-val rewrite_undefined: Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs
+val rewrite_undefined: bool -> Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs
 val rewrite_ast_lem : Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs
 val rewrite_ast_coq : Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs
 val rewrite_ast_ocaml : Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs
-- 
cgit v1.2.3