Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
copy-paste typo
authortraytel
Mon, 10 Mar 2014 15:24:49 +0100
changeset 56018 c3fc8692dbc1
parent 56017 8d3df792d47e
child 56019 682bba24e474
copy-paste typo
src/HOL/Tools/BNF/bnf_comp.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/BNF/bnf_comp.ML	Mon Mar 10 14:46:22 2014 +0100
+++ b/src/HOL/Tools/BNF/bnf_comp.ML	Mon Mar 10 15:24:49 2014 +0100
@@ -865,7 +865,7 @@
     
     val map_def = map_def_of_bnf bnf'';
     val set_defs = set_defs_of_bnf bnf'';
-    val rel_def = map_def_of_bnf bnf'';
+    val rel_def = rel_def_of_bnf bnf'';
 
     val bnf_b = qualify b;
     val def_qualify =
isabelle