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/Tools/subtyping.ML
changeset 47060 e2741ec9ae36
parent 46961 5c6955f487e5
child 49142 0f81eca1e473 
--- a/src/Tools/subtyping.ML	Tue Mar 20 21:37:31 2012 +0100
+++ b/src/Tools/subtyping.ML	Wed Mar 21 11:00:34 2012 +0100
@@ -832,7 +832,7 @@
       "\nwhere C is a constructor and fi is of type (xi => yi) or (yi => xi).";
 
     val ((fis, T1), T2) = apfst split_last (strip_type (fastype_of t))
-      handle Empty => error ("Not a proper map function:" ^ err_str t);
+      handle List.Empty => error ("Not a proper map function:" ^ err_str t);
 
     fun gen_arg_var ([], []) = []
       | gen_arg_var ((T, T') :: Ts, (U, U') :: Us) =
isabelle