From d3a51ac24244f586dfeff1a93b68cb084370534e Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Mon, 11 Jan 2021 14:47:13 -0800
Subject: Remove the omega tactic and related options

---
 ide/coqide/idetop.ml      | 1 -
 ide/coqide/preferences.ml | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

(limited to 'ide')

diff --git a/ide/coqide/idetop.ml b/ide/coqide/idetop.ml
index a6a7f7d742..72b54d329f 100644
--- a/ide/coqide/idetop.ml
+++ b/ide/coqide/idetop.ml
@@ -177,7 +177,6 @@ let concl_next_tac =
     "symmetry"
   ] @ [
     "assumption";
-    "omega";
     "ring";
     "auto";
     "eauto";
diff --git a/ide/coqide/preferences.ml b/ide/coqide/preferences.ml
index 5a77f4ebcf..8361cc3940 100644
--- a/ide/coqide/preferences.ml
+++ b/ide/coqide/preferences.ml
@@ -304,7 +304,7 @@ let encoding =
   new preference ~name:["encoding"] ~init ~repr
 
 let automatic_tactics =
-  let init = ["trivial"; "tauto"; "auto"; "omega"; "auto with *"; "intuition" ] in
+  let init = ["trivial"; "tauto"; "auto"; "auto with *"; "intuition" ] in
   new preference ~name:["automatic_tactics"] ~init ~repr:Repr.(string_list)
 
 let cmd_print =
-- 
cgit v1.2.3