# HG changeset patch
# User blanchet
# Date 1367333409 -7200
# Node ID b5f0defd6f67b0318b867d3d5aa44f07fbf0f1ee
# Parent  8996636444823a339c9b8ec9e76381740d3b5ca3
more

diff -r 899663644482 -r b5f0defd6f67 src/HOL/BNF/Tools/bnf_fp_def_sugar.ML
--- a/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Tue Apr 30 16:42:23 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Tue Apr 30 16:50:09 2013 +0200
@@ -94,7 +94,7 @@
     (fn phi => Data.map (Symtab.update_new (key, morph_fp_sugar phi fp_sugar)));
 
 fun register_fp_sugars lfp pre_bnfs (fp_res as {ctors, ...}) ctr_sugars xxfolds xxrecs lthy =
-  (1, lthy)
+  (0, lthy)
   |> fold (fn ctor => fn (kk, lthy) => (kk + 1,
     register_fp_sugar (fp_name_of_ctor ctor) {lfp = lfp, index = kk,
       pre_bnfs = pre_bnfs, fp_res = fp_res, ctr_sugars = ctr_sugars, xxfolds = xxfolds,