src/HOL/Tools/Predicate_Compile/code_prolog.ML

     fun dest_eq s =
       (case space_explode "=" s of
         (l :: r :: []) => parse_term (unprefix " " r)
       | _ => raise Fail "unexpected equation in prolog output")
     fun parse_solution s = map dest_eq (space_explode ";" s)
-    val sols = (case space_explode "\n" sol of [] => [] | s => fst (split_last s))
+    val sols = (case Library.trim_split_lines sol of [] => [] | s => fst (split_last s))
   in
     map parse_solution sols
   end