# HG changeset patch
# User wenzelm
# Date 1187126584 -7200
# Node ID 7a0f71fde62c178172cc00c1c4f65258138a8083
# Parent  bbc3dab6d4fe3fe2dcd2d3b6bb9c06cc05b6197c
Syntax.global_read_sort;

diff -r bbc3dab6d4fe -r 7a0f71fde62c src/Pure/Isar/class.ML
--- a/src/Pure/Isar/class.ML	Tue Aug 14 23:23:00 2007 +0200
+++ b/src/Pure/Isar/class.ML	Tue Aug 14 23:23:04 2007 +0200
@@ -617,7 +617,7 @@
 
 in
 
-val instance_sort_cmd = gen_instance_sort Sign.read_class Sign.read_sort;
+val instance_sort_cmd = gen_instance_sort Sign.read_class Syntax.global_read_sort;
 val instance_sort = gen_instance_sort Sign.certify_class Sign.certify_sort;
 val prove_instance_sort = instance_sort' o prove_interpretation_in;
 val instance_class_cmd = gen_instance_class Sign.read_class;