diff options
| author | Enrico Tassi | 2014-02-21 15:11:30 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-02-26 14:53:08 +0100 |
| commit | 969f56084f2c9eac670e47852518a3ca11fb0174 (patch) | |
| tree | d5022bdb00088f5f31ae901c6e6875e25ce8bf97 /kernel/type_errors.ml | |
| parent | 83ee68ba8beda04343514d9e5905ea062cbeada0 (diff) | |
fix checker w.r.t. Dyn.t validation
discrepancy introduced in commit 400327165edcba667ebb70ebb89052455656b719
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions