Doublon

Halbaroth · Jul 27, 2023 · 218ec52 · 218ec52
1 parent 4198917
commit 218ec52
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/sphinx_docs/Input_file_formats/index.rst b/docs/sphinx_docs/Input_file_formats/index.rst
@@ -7,7 +7,7 @@ Alt-ergo supports different input languages:
 
 - The original input language is its native language, based on the language of the Why3 platform and
   detailed below.
-- Since 2.5.0, Alt-ergo supports the SMT-LIB language v2.6. Since 2.5.0, improved support
+- Alt-ergo supports the SMT-LIB language v2.6. Since 2.5.0, improved support
   is provided by the `Dolmen <https://github.com/Gbury/dolmen>`_ frontend, available with
   the `--frontend dolmen` option.
 - It also (partially) supports the input language of Why3 through the :doc:`AB-Why3 plugin <../Plugins/ab_why3>`.