--- 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;
-