# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1266328659 -3600
# Node ID 8c65b39bda9582a4d59c62759e5c000efa5516fd
# Parent  3c6bee89d826619c11483778d4885a38b62f679b# Parent  a6fc645be6e2c69de2d114054c2b67d2eccd4a62
Merge

diff -r 3c6bee89d826 -r 8c65b39bda95 Quot/quotient_typ.ML
--- 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 "/"