diff options
| author | Pierre-Marie Pédrot | 2015-08-15 21:49:22 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-08-15 21:51:36 +0200 |
| commit | 2f5bc3148579ff359f179c758a7f4e724a14adf7 (patch) | |
| tree | 36dd8a606a44d84bb5f081c518693a02efc6df67 /kernel/nativelambda.ml | |
| parent | 54fb2cdf7bb5c45f5a237b2559fd26d90d8f4df1 (diff) | |
Revert the four previous commits and update the description of Richpp.
Correcting the code w.r.t. to the API was not the right solution. Instead,
the API comment had to be corrected.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions