--- a/Quot/quotient_typ.ML	Tue Feb 16 14:57:22 2010 +0100
+++ b/Quot/quotient_typ.ML	Tue Feb 16 14:57:39 2010 +0100
@@ -295,8 +295,8 @@
 in
 
 val quotspec_parser =
-    P.and_list1 ((P.type_args -- P.binding) -- P.opt_infix -- 
-       (P.$$$ "=" |-- P.typ) -- (P.$$$ "/" |-- P.term))
+  P.and_list1 ((P.type_args -- P.binding) -- P.opt_infix -- 
+    (P.$$$ "=" |-- P.typ) -- (P.$$$ "/" |-- P.term))
 end
 
 val _ = OuterKeyword.keyword "/"