diff options
Diffstat (limited to 'kernel/closure.mli')
| -rw-r--r-- | kernel/closure.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/closure.mli b/kernel/closure.mli index b8d40152a6..45088b3ac2 100644 --- a/kernel/closure.mli +++ b/kernel/closure.mli @@ -212,6 +212,6 @@ val knr: 'a clos_infos -> fconstr -> fconstr stack -> val kl: 'a clos_infos -> fconstr -> fconstr val to_constr : - (lift -> fconstr -> 'a) -> lift -> fconstr -> ('a,'a) kind_of_term + (lift -> fconstr -> constr) -> lift -> fconstr -> constr (* End of cbn debug section i*) |