# HG changeset patch
# User traytel
# Date 1397122495 -7200
# Node ID 535cfc7fc30130f08b2e75fe70c9e4d3b3055a89
# Parent  961b34963fa48e15086fcfa998f8da3d2b3bbc2c
reintroduce example (cf. 39281b3e4fac)

diff -r 961b34963fa4 -r 535cfc7fc301 src/HOL/BNF_Examples/Compat.thy
--- a/src/HOL/BNF_Examples/Compat.thy	Thu Apr 10 10:52:48 2014 +0200
+++ b/src/HOL/BNF_Examples/Compat.thy	Thu Apr 10 11:34:55 2014 +0200
@@ -69,7 +69,7 @@
 datatype fnky = Fnky "nat tre"
 
 datatype_new tree = Tree "tree foo"
-(* FIXME: datatype_compat tree *)
+datatype_compat tree
 
 ML {* Datatype_Data.get_info @{theory} @{type_name tree} *}