# HG changeset patch
# User traytel
# Date 1394461489 -3600
# Node ID c3fc8692dbc1a074416b8c2575fa4b2082423908
# Parent  8d3df792d47e450e932461942d022f5146ba1632
copy-paste typo

diff -r 8d3df792d47e -r c3fc8692dbc1 src/HOL/Tools/BNF/bnf_comp.ML
--- 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 =