src/Pure/library.ML

 fun deny p msg = if p then error msg else ();
 
 (*Assert pred for every member of l, generating a message if pred fails*)
 fun assert_all pred l msg_fn = 
   let fun asl [] = ()
-        | asl (x::xs) = if pred x then asl xs
-                        else error (msg_fn x)
+	| asl (x::xs) = if pred x then asl xs
+	                else error (msg_fn x)
   in  asl l  end;
 
 (* FIXME close file (?) *)
 (*for the "test" target in Makefiles -- signifies successful termination*)
 fun maketest msg =