# HG changeset patch
# User blanchet
# Date 1383558761 -3600
# Node ID 58742c75920570c688d9cd4080da5eeb17a5df2c
# Parent  7cc6e286fe28b64fbd17d9e2571f2e4ef837d5b1
typo

diff -r 7cc6e286fe28 -r 58742c759205 src/HOL/BNF/Tools/bnf_fp_rec_sugar_util.ML
--- a/src/HOL/BNF/Tools/bnf_fp_rec_sugar_util.ML	Mon Nov 04 10:52:41 2013 +0100
+++ b/src/HOL/BNF/Tools/bnf_fp_rec_sugar_util.ML	Mon Nov 04 10:52:41 2013 +0100
@@ -528,7 +528,7 @@
 
 fun find_index_eq hs h = find_index (curry (op =) h) hs;
 
-(*FIXME: remove special cases for products and sum once they are registered as datatypes*)
+(*FIXME: remove special cases for product and sum once they are registered as datatypes*)
 fun map_thms_of_typ ctxt (Type (s, _)) =
     if s = @{type_name prod} then
       @{thms map_pair_simp}