# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1266249766 -3600
# Node ID a6fc645be6e2c69de2d114054c2b67d2eccd4a62
# Parent  5650924c69ed71c162dc5ebdd807afdfb86c4b55# Parent  368ec514aa34f37b3f5da460cf6def32576fdfb2
merged

diff -r 368ec514aa34 -r a6fc645be6e2 Quot/quotient_typ.ML
--- a/Quot/quotient_typ.ML	Mon Feb 15 16:52:32 2010 +0100
+++ b/Quot/quotient_typ.ML	Mon Feb 15 17:02:46 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 "/"