Remove deprecated preludes

These preludes have been deprecated in v2.6.0

src/bin/common/parse_command.ml

@@ -726,25 +726,10 @@ let parse_execution_opt =
       else
         match Config.lookup_prelude p with
         | Some p' ->
-          begin if Compat.String.starts_with ~prefix:"b-set-theory" p then
-              Printer.print_wrn ~header:true
-                "Support for the B set theory is deprecated since version \
-                 2.5.0 and may be removed in a future version. If you are \
-                 actively using it, please make yourself known to the Alt-Ergo \
-                 developers by writing to <[email protected]>."
-            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 and the '%s'@ prelude will \ be removed in a \
-                 later version.@]" p
-          end;
-
           Ok p'
         | None ->
           Error (
-            Format.asprintf
+            Fmt.str
               "cannot load prelude '%s': no such file"
               p)
     in