diff options
| author | Pierre-Marie Pédrot | 2014-07-24 15:01:06 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-07-24 15:01:06 +0200 |
| commit | a435938aa7d1c94c40ddb17627cfaa2fb9f45f0f (patch) | |
| tree | 33c7a2a7b22ad9bc963f81053c672f3838f25e85 /kernel/type_errors.ml | |
| parent | c15571e367cf4d75c9e4aac589170e0213e4fe3b (diff) | |
Revert "Adding a "is_val" primitive to IStream."
This reverts commit 062d07eb5446c1032fda232b9a09e20e5410dd92.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions