diff options
| author | Kathy Gray | 2014-04-21 00:04:01 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-04-21 00:04:01 +0100 |
| commit | d9f3b585c5ccbffba88cb404287e95ec77bbaa76 (patch) | |
| tree | b9de304c69e5842b15c65de91bc74d6c605bd056 /src/util.ml | |
| parent | 407084d0a3a5bf527430e338bd085062dc78f8ae (diff) | |
Remove unsoundness of pattern match in interpreter
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions