diff options
| author | Arnaud Spiwack | 2015-04-22 17:39:42 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-04-22 18:55:13 +0200 |
| commit | 74d7dd7ae08dedfd80c056a345c1b3398eb91b5e (patch) | |
| tree | e8f7f71ebe8caccaaed72c89ea3863ff0701cab4 /kernel/constr.ml | |
| parent | b4552eb74c7ee577339b44924b59c2ab25f893d2 (diff) | |
Pp: obsolete comment.
Was made incorrect by 98a710caf5e907344329ee9e9f7b5fd87c50836f .
Diffstat (limited to 'kernel/constr.ml')
0 files changed, 0 insertions, 0 deletions