From 218ec527d1735db01a2ff06d570688ebe51ab562 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Thu, 27 Jul 2023 15:01:57 +0200 Subject: [PATCH] Doublon --- docs/sphinx_docs/Input_file_formats/index.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/sphinx_docs/Input_file_formats/index.rst b/docs/sphinx_docs/Input_file_formats/index.rst index 07933f3e5..5a4c44ca8 100644 --- 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 `_ 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>`.