artefact

OCamlPro · Aug 16, 2023 · ba74419 · ba74419
1 parent 8aef80e
commit ba74419
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/src/lib/util/options.ml b/src/lib/util/options.ml
@@ -284,14 +284,7 @@ let set_frontend f = frontend := f
 let set_input_format f = input_format := f
 let set_infer_input_format b = infer_input_format := b
 let set_parse_only b = parse_only := b
-let set_preludes p =
-  preludes := List.filter (fun prelude ->
-      match prelude with
-      | "fpa-theory-2017-01-04-16h00.ae"
-      | "fpa-theory-2019-06-14-11h00.ae"
-      | "fpa-theory-2019-10-08-19h00.ae" -> false
-      | _ -> true
-    ) p
+let set_preludes p = preludes := p
 
 let set_theory_preludes t = theory_preludes := t
 let set_type_only b = type_only := b