diff -r 692e428803c8 -r 8411f1a2272c src/HOL/Library/code_test.ML
--- a/src/HOL/Library/code_test.ML	Mon May 22 19:34:01 2017 +0200
+++ b/src/HOL/Library/code_test.ML	Mon May 22 19:42:52 2017 +0200
@@ -119,7 +119,7 @@
 fun parse_result target out =
   (case split_first_last start_markerN end_markerN out of
     NONE => error ("Evaluation failed for " ^ target ^ "!\nBash output:\n" ^ out)
-  | SOME (_, middle, _) => middle |> trim_line |> split_lines |> map parse_line)
+  | SOME (_, middle, _) => middle |> trim_split_lines |> map parse_line)
 
 
 (* pretty printing of test results *)