| changeset 14854 | 61bdf2ae4dc5 |
| parent 14828 | 15d12761ba54 |
| child 14988 | 973ced82812d |
--- a/src/Pure/type_infer.ML Tue Jun 01 11:25:26 2004 +0200 +++ b/src/Pure/type_infer.ML Tue Jun 01 12:33:50 2004 +0200 @@ -103,7 +103,7 @@ (* pretyp(s)_of *) fun anyT S = TFree ("'_dummy_", S); -val logicT = anyT logicS; +val logicT = anyT []; (*indicate polymorphic Vars*) fun polymorphicT T = Type ("_polymorphic_", [T]);