From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 2 Feb 2004 16:10:49 +0000 (+0000)
Subject: added comments
X-Git-Tag: V_0_2_3~116
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0fd7e4864dbcd0f3e04ed71bb654ff616b7e4a79;p=helm.git

added comments
---

diff --git a/helm/ocaml/cic/cic.ml b/helm/ocaml/cic/cic.ml
index cb2af219b..46126ff31 100644
--- a/helm/ocaml/cic/cic.ml
+++ b/helm/ocaml/cic/cic.ml
@@ -82,8 +82,8 @@ and term =
     int *                                           (*  ind. typeno,         *)
     term * term *                                   (*  outtype, ind. term   *)
     term list                                       (*  patterns             *)
- | Fix of int * inductiveFun list                   (* funno, functions *)
- | CoFix of int * coInductiveFun list               (* funno, functions *)
+ | Fix of int * inductiveFun list                   (* funno (0 based), funs *)
+ | CoFix of int * coInductiveFun list               (* funno (0 based), funs *)
 and obj =
    Constant of string * term option * term *      (* id, body, type,          *)
     UriManager.uri list                           (*  parameters              *)