From ddc25ec6150005e949442d422549fbc213d8f4af Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 6 Sep 2018 17:49:28 +0200
Subject: Deprecate romega in favor of lia.

---
 doc/sphinx/addendum/omega.rst | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/sphinx/addendum/omega.rst b/doc/sphinx/addendum/omega.rst
index 1e92d01125..f7a431ef29 100644
--- a/doc/sphinx/addendum/omega.rst
+++ b/doc/sphinx/addendum/omega.rst
@@ -26,7 +26,9 @@ Description of ``omega``
 .. tacv:: romega
    :name: romega
 
-   To be documented.
+   .. deprecated:: 8.9
+
+      Use :tacn:`lia` instead.
 
 Arithmetical goals recognized by ``omega``
 ------------------------------------------
-- 
cgit v1.2.3