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_compat.ML
changeset 62324 ae44f16dcea5
parent 60728 26ffdb966759
child 62497 5b5b704f4811 
--- a/src/HOL/Tools/BNF/bnf_lfp_compat.ML	Tue Feb 16 17:01:40 2016 +0100
+++ b/src/HOL/Tools/BNF/bnf_lfp_compat.ML	Tue Feb 16 22:28:19 2016 +0100
@@ -521,7 +521,7 @@
 
     fun new_spec_of ((b, old_tyargs, mx), old_ctr_specs) =
       (((((map new_type_args_of old_tyargs, b), mx), map new_ctr_spec_of old_ctr_specs),
-        (Binding.empty, Binding.empty)), []);
+        (Binding.empty, Binding.empty, Binding.empty)), []);
 
     val new_specs = map new_spec_of old_specs;
   in
isabelle