From e7551baed86803ee557c7b2c1e85f450ef6df8c7 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Sat, 19 Aug 2023 08:35:40 +0200 Subject: [PATCH] Fix spelling --- docs/sphinx_docs/Input_file_formats/Native/05_theories.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/sphinx_docs/Input_file_formats/Native/05_theories.md b/docs/sphinx_docs/Input_file_formats/Native/05_theories.md index b1b68d583..d8eec6497 100644 --- a/docs/sphinx_docs/Input_file_formats/Native/05_theories.md +++ b/docs/sphinx_docs/Input_file_formats/Native/05_theories.md @@ -45,7 +45,7 @@ Three-tier Strategy for Reasoning about Floating-Point Numbers in SMT](https://inria.hal.science/hal-01522770)" by Conchon et al. *Note*: Support for floating-point arithmetic is available as a built-in theory -since version 2.5.0. It be enabled using flag `--enable-theory fpa`, which will +since version 2.5.0. It is enabled using flag `--enable-theory fpa`, which will become the default in a future release. Previous versions used the external prelude mechanism and required command line flags `--use-fpa` and `--prelude fpa-theory-2019-10-08-19h00.ae`.