diff options
Diffstat (limited to 'contrib/funind/indfun.ml')
| -rw-r--r-- | contrib/funind/indfun.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/funind/indfun.ml b/contrib/funind/indfun.ml index dffc812093..77c9de92c8 100644 --- a/contrib/funind/indfun.ml +++ b/contrib/funind/indfun.ml @@ -629,7 +629,7 @@ let make_graph (f_ref:global_reference) = let n' = List.fold_left (fun n (nal,t'') -> - n+List.length nal) n nal_ta' + n+List.length nal) 0 nal_ta' in (* assert (n'<= n); *) chop_n_arrow (n - n') t' |