src/Pure/ML-Systems/ml_pretty.ML

--- a/src/Pure/ML-Systems/ml_pretty.ML	Sat Dec 19 19:07:14 2015 +0100
+++ b/src/Pure/ML-Systems/ml_pretty.ML	Sat Dec 19 19:52:52 2015 +0100
@@ -8,11 +8,11 @@
 struct
 
 datatype pretty =
-  Block of (string * string) * pretty list * bool * int |
+  Block of (string * string) * bool * int * pretty list |
   String of string * int |
   Break of bool * int * int;
 
-fun block prts = Block (("", ""), prts, false, 2);
+fun block prts = Block (("", ""), false, 2, prts);
 fun str s = String (s, size s);
 fun brk width = Break (false, width, 0);
 
@@ -28,4 +28,3 @@
   in block (str lpar :: (elems (Int.max (depth, 0)) args @ [str rpar])) end;
 
 end;
-