src/Pure/type.ML

--- a/src/Pure/type.ML	Sat May 11 16:13:08 2013 +0200
+++ b/src/Pure/type.ML	Sat May 11 16:57:18 2013 +0200
@@ -379,11 +379,11 @@
 
 fun freeze_one alist (ix, sort) =
   TFree (the (AList.lookup (op =) alist ix), sort)
-    handle Option =>
+    handle Option.Option =>
       raise TYPE ("Failure during freezing of ?" ^ string_of_indexname ix, [], []);
 
 fun thaw_one alist (a, sort) = TVar (the (AList.lookup (op =) alist a), sort)
-  handle Option => TFree (a, sort);
+  handle Option.Option => TFree (a, sort);
 
 in