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

---
 plugins/omega/dune | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'plugins/omega/dune')

diff --git a/plugins/omega/dune b/plugins/omega/dune
index a3c9342322..e69de29bb2 100644
--- a/plugins/omega/dune
+++ b/plugins/omega/dune
@@ -1,7 +0,0 @@
-(library
- (name omega_plugin)
- (public_name coq-core.plugins.omega)
- (synopsis "Coq's omega plugin")
- (libraries coq-core.plugins.ltac))
-
-(coq.pp (modules g_omega))
-- 
cgit v1.2.3