Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/type.ML
changeset 4142 d182dc0a34f6
parent 3827 c13504a27d8e
child 4603 53b2463ca84c 
--- a/src/Pure/type.ML	Wed Nov 05 11:34:44 1997 +0100
+++ b/src/Pure/type.ML	Wed Nov 05 11:35:07 1997 +0100
@@ -112,11 +112,11 @@
 
 fun freezeOne alist (ix,sort) =
   TFree (the (assoc (alist, ix)), sort)
-    handle OPTION _ =>
+    handle OPTION =>
       raise TYPE ("Failure during freezing of ?" ^ string_of_indexname ix, [], []);
 
 fun thawOne alist (a,sort) = TVar (the (assoc (alist,a)), sort)
-      handle OPTION _ => TFree(a,sort);
+      handle OPTION => TFree(a,sort);
 
 (*This sort of code could replace unvarifyT (?)
     fun freeze_thaw_type T =
isabelle