diff options
Diffstat (limited to 'lib/options.mli')
| -rw-r--r-- | lib/options.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/options.mli b/lib/options.mli index d415f93d0..9eea81ed3 100644 --- a/lib/options.mli +++ b/lib/options.mli @@ -26,9 +26,6 @@ val dont_load_proofs : bool ref val raw_print : bool ref -val v7 : bool ref -val v7_only : bool ref - val translate : bool ref val make_translate : bool -> unit val do_translate : unit -> bool |