--- 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,