author | wenzelm |
Wed, 28 Nov 2001 23:28:58 +0100 | |
changeset 12313 | e2cb7e8bb037 |
parent 12312 | f0f06950820d |
child 12314 | 160013745a92 |
src/Pure/sign.ML | file | annotate | diff | comparison | revisions |
--- a/src/Pure/sign.ML Wed Nov 28 23:27:35 2001 +0100 +++ b/src/Pure/sign.ML Wed Nov 28 23:28:58 2001 +0100 @@ -591,7 +591,7 @@ fun rd_raw_typ syn tsig spaces def_sort str = intrn_tycons spaces - (Syntax.read_typ syn (Type.get_sort tsig def_sort (intrn_sort spaces)) str + (Syntax.read_typ syn (Type.get_sort tsig def_sort (intrn_sort spaces)) (intrn_sort spaces) str handle ERROR => err_in_type str); fun read_raw_typ' syn (sg as Sg (_, {tsig, spaces, ...}), def_sort) str =