fixed exception OPTION;
authorwenzelm
Wed Nov 05 11:35:07 1997 +0100 (1997-11-05)
changeset 4142d182dc0a34f6
parent 4141 b76a49490833
child 4143 4bd5f4c05cf6
fixed exception OPTION;
src/Pure/type.ML
     1.1 --- a/src/Pure/type.ML	Wed Nov 05 11:34:44 1997 +0100
     1.2 +++ b/src/Pure/type.ML	Wed Nov 05 11:35:07 1997 +0100
     1.3 @@ -112,11 +112,11 @@
     1.4  
     1.5  fun freezeOne alist (ix,sort) =
     1.6    TFree (the (assoc (alist, ix)), sort)
     1.7 -    handle OPTION _ =>
     1.8 +    handle OPTION =>
     1.9        raise TYPE ("Failure during freezing of ?" ^ string_of_indexname ix, [], []);
    1.10  
    1.11  fun thawOne alist (a,sort) = TVar (the (assoc (alist,a)), sort)
    1.12 -      handle OPTION _ => TFree(a,sort);
    1.13 +      handle OPTION => TFree(a,sort);
    1.14  
    1.15  (*This sort of code could replace unvarifyT (?)
    1.16      fun freeze_thaw_type T =