Fix spelling

Halbaroth · Aug 21, 2023 · e7551ba · e7551ba
1 parent 821f61b
commit e7551ba
Showing 1 changed file with 1 addition and 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
@@ -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`.