src/Pure/library.ML

--- a/src/Pure/library.ML	Mon Jan 29 13:50:10 1996 +0100
+++ b/src/Pure/library.ML	Mon Jan 29 13:56:41 1996 +0100
@@ -650,8 +650,8 @@
 (*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 (?) *)