diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqide.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index cda306eb29..9860870ca0 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -13,9 +13,6 @@ open Vernacexpr open Coq open Ideutils -let Option.get s = match s with - | None -> failwith "Internal error in Option.get" | Some f -> f - let cb_ = ref None let cb () = ((Option.get !cb_):GData.clipboard) let last_cb_content = ref "" |