Modify the warning for the fpa prelude

Halbaroth · Aug 21, 2023 · 821f61b · 821f61b
1 parent c4fec2a
commit 821f61b
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml
@@ -673,8 +673,9 @@ let parse_execution_opt =
             else if Compat.String.starts_with ~prefix:"fpa-theory" p then
               Printer.print_wrn ~header:true
                 "@[Support for the FPA theory has been integrated as a builtin \
-                 theory prelude in version 2.5.0 and is enabled by default. \
-                 This option is no longer needed, and the '%s'@ prelude will \
+                 theory prelude in version 2.5.0. Please use \
+                 `--enable-theories fpa` to enable it. \
+                 This option and the '%s'@ prelude will \
                  be removed in a later version.@]" p
           end;