From 83f8e574024df56e75bc1d3f6e6b50ce99ba9042 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Tue, 14 Feb 2017 21:57:46 +0000
Subject: remove the -i option

---
 src/sail.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/sail.ml b/src/sail.ml
index fe5fcd37..4e76551f 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -42,7 +42,7 @@
 
 open Process_file
 
-let lib = ref []
+let lib = ref ([] : string list)
 let opt_file_out : string option ref = ref None
 let opt_print_version = ref false
 let opt_print_initial_env = ref false
@@ -72,9 +72,11 @@ let options = Arg.align ([
   ( "-ocaml_lib",
     Arg.String (fun l -> opt_libs_ocaml := l::!opt_libs_ocaml),
     "<filename> provide additional library to open in OCaml output");
+(*
   ( "-i",
     Arg.String (fun l -> lib := l::!lib),
     "<library_filename> treat this file as input only and generate no output for it");
+*)
   ( "-print_initial_env",
     Arg.Set opt_print_initial_env,
     " print the built-in initial type environment and terminate");
-- 
cgit v1.2.3