review changes

OCamlPro · Sep 5, 2024 · b3426df · b3426df
1 parent b40e6b5
commit b3426df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/sphinx_docs/Usage/index.md b/docs/sphinx_docs/Usage/index.md
@@ -78,7 +78,7 @@ convenience, some of these extensions are enabled by default. Since the
 version 2.6.0, the flag `--strict` disables the extensions:
 - MaxSMT extension for the optimization
 
-We plan to disable more nonstandard extensions with this flag in futur versions.
+We plan to disable more nonstandard extensions with this flag in future versions.
 ## Library
 
 Since version 2.2.0, Alt-Ergo's library is also compiled and installed. See the