# HG changeset patch
# User haftmann
# Date 1170141675 -3600
# Node ID 4bc4a930a8bc601074950f0c23d582aff8a14870
# Parent  8cc04341de38014d018d02f955d6b9d5c169073b
dropped whitespace

diff -r 8cc04341de38 -r 4bc4a930a8bc src/Pure/General/xml.ML
--- a/src/Pure/General/xml.ML	Tue Jan 30 08:21:13 2007 +0100
+++ b/src/Pure/General/xml.ML	Tue Jan 30 08:21:15 2007 +0100
@@ -28,7 +28,7 @@
   val parse_elem: string list -> tree * string list
   val parse_document: string list -> (string option * tree) * string list
   val tree_of_string: string -> tree
-  (* scanner for stream parser in proof_general.ML *)				
+  (* scanner for stream parser in proof_general.ML *)
   val scan_comment_whspc : string list -> unit * string list
 end;