src/Pure/System/options.ML

--- a/src/Pure/System/options.ML	Wed Jun 22 13:42:30 2022 +0200
+++ b/src/Pure/System/options.ML	Wed Jun 22 14:16:45 2022 +0200
@@ -211,11 +211,8 @@
   (case getenv "ISABELLE_PROCESS_OPTIONS" of
     "" => ()
   | name =>
-      let val path = Path.explode name in
-        (case try File.read path of
-          SOME s => set_default (decode (YXML.parse_body s))
-        | NONE => ())
-      end);
+      try File.read (Path.explode name)
+      |> Option.app (set_default o decode o YXML.parse_body));
 
 val _ = load_default ();
 val _ = ML_Print_Depth.set_print_depth (default_int "ML_print_depth");