diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-29 14:18:34 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-29 14:18:34 +0200 |
| commit | 5610135f48d9674fc17c3b89cd73dc68e477f6c9 (patch) | |
| tree | 9318ccb58f6a9771747be37672c2c28f6d3a05e4 /tests/Apply.ml | |
| parent | d8a7500f03b0d5c7eb8caba0042ffcefdfec87c2 (diff) | |
Fixed the evaluation of some predefined exceptions
Diffstat (limited to 'tests/Apply.ml')
0 files changed, 0 insertions, 0 deletions