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/HOL/Tools/BNF/bnf_lfp_rec_sugar_more.ML
changeset 57303 498a62e65f5f
parent 56857 aa2de99be748
child 57397 5004aca20821 
--- a/src/HOL/Tools/BNF/bnf_lfp_rec_sugar_more.ML	Tue Jun 24 13:48:14 2014 +0200
+++ b/src/HOL/Tools/BNF/bnf_lfp_rec_sugar_more.ML	Tue Jun 24 13:48:14 2014 +0200
@@ -68,7 +68,7 @@
     fun check_no_call t = if has_call t then unexpected_rec_call ctxt t else ();
 
     val typof = curry fastype_of1 bound_Ts;
-    val build_map_fst = build_map ctxt (fst_const o fst);
+    val build_map_fst = build_map ctxt [] (fst_const o fst);
 
     val yT = typof y;
     val yU = typof y';
isabelle