Change the warning message for the old prelude

OCamlPro · Aug 16, 2023 · d8d18b5 · d8d18b5
1 parent ad279c4
commit d8d18b5
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
@@ -679,8 +679,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 the \
+                 flag `--use-fpa` to enable it. \
+                 This option is no longer needed, and the '%s' prelude will \
                  be removed in a later version.@]" p
           end;