summaryrefslogtreecommitdiff
path: root/src/spec_analysis.mli
diff options
context:
space:
mode:
authorKathy Gray2016-01-11 16:56:17 +0000
committerKathy Gray2016-01-11 16:56:17 +0000
commit4ad30e5044fd864d834d53fe89c943e744cfc08d (patch)
tree13fee761cd320074a761066ee216edfca8c77332 /src/spec_analysis.mli
parente533e8eb51c532200f36db85d6a0d9e16ae4fb7c (diff)
Interpreter interface now supports option<ast> result from decode and etc instead of looking for exit calls
Diffstat (limited to 'src/spec_analysis.mli')
0 files changed, 0 insertions, 0 deletions