cleaning up, thanks to news warning in OCaml 4.00

parent 44ff91bc
......@@ -11,7 +11,6 @@
open Stdlib
open Format
open Pp
open Ident
open Ptree
open Ty
......
......@@ -54,12 +54,6 @@ let tag_and = "A"
let tag_app = "a"
let tag_case = "C"
let tag_const = "c"
let tag_Dtype = "Dt"
let tag_Ddata = "Dd"
let tag_Dparam = "Dv"
let tag_Dlogic = "Dl"
let tag_Dind = "Di"
let tag_Dprop = "Dp"
let tag_exists = "E"
let tag_eps = "e"
let tag_forall = "F"
......@@ -69,16 +63,8 @@ let tag_if = "i"
let tag_let = "L"
let tag_not = "N"
let tag_or = "O"
let tag_Plemma = "Pl"
let tag_Paxiom = "Pa"
let tag_Pgoal = "Pg"
let tag_Pskip = "Ps"
let tag_iff = "q"
let tag_true = "t"
let tag_tDecl = "TD"
let tag_tClone = "TC"
let tag_tUse = "TU"
let tag_tMeta = "TM"
let tag_var = "V"
let tag_wild = "w"
let tag_as = "z"
......
......@@ -9,7 +9,6 @@
(* *)
(********************************************************************)
open Thread
open Why3
open Stdlib
open Env
......@@ -74,7 +73,7 @@ open Format
type callback = tool_id -> prob_id ->
task -> int -> proof_attempt_status -> unit
let debug_call = Debug.register_info_flag "call"
let _debug_call = Debug.register_info_flag "call"
~desc:"Print@ debugging@ messages@ about@ prover@ calls."
let debug = Debug.register_info_flag "bench_core"
......
......@@ -13,7 +13,6 @@ open Format
open Bench
open Why3
open Stdlib
open Theory
type id_tool = (string * string)
......
......@@ -147,7 +147,6 @@ let stmt_column_TEXT stmt i msg =
match Sqlite3.column stmt i with
| Sqlite3.Data.TEXT i -> i
| _ -> failwith msg
*)
let stmt_column_int stmt i msg =
match Sqlite3.column stmt i with
......@@ -156,6 +155,7 @@ let stmt_column_int stmt i msg =
let int64_from_bool b =
if b then 1L else 0L
*)
let bool_from_int64 i =
if i=0L then false else
......
......@@ -16,7 +16,7 @@ open Whyconf
open Theory
open Task
open Driver
open Trans
module B = Bench
module C = Call_provers
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment