# HG changeset patch
# User haftmann
# Date 1215759751 -7200
# Node ID 8178db4b25f3ae79147d64988b752901ba73ef5d
# Parent  13199740ced6771d9e03136b06d7652a4a3f3ad0
fixed layout

diff -r 13199740ced6 -r 8178db4b25f3 src/Pure/sorts.ML
--- a/src/Pure/sorts.ML	Fri Jul 11 09:02:30 2008 +0200
+++ b/src/Pure/sorts.ML	Fri Jul 11 09:02:31 2008 +0200
@@ -52,8 +52,7 @@
   val mg_domain: algebra -> string -> sort -> sort list   (*exception CLASS_ERROR*)
   val meet_sort: algebra -> typ * sort -> sort Vartab.table -> sort Vartab.table
   val of_sort: algebra -> typ * sort -> bool
-  
-val weaken: 'b Graph.T -> ('a * class -> class -> 'a) -> 'a * class -> class -> 'a;
+  val weaken: 'b Graph.T -> ('a * class -> class -> 'a) -> 'a * class -> class -> 'a;
   val of_sort_derivation: Pretty.pp -> algebra ->
     {class_relation: 'a * class -> class -> 'a,
      type_constructor: string -> ('a * class) list list -> class -> 'a,