summaryrefslogtreecommitdiff
path: root/src/test/run_power.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2017-11-16 17:07:40 +0000
committerAlasdair Armstrong2017-11-16 17:07:40 +0000
commitb3d7e7afc14553e8398958130fbcddf9e9a9a474 (patch)
tree4c682a03650286451684211357f22e297acda9c1 /src/test/run_power.ml
parent6921b3107088f43b38eadcd841384deff00e340e (diff)
Made l2.ott generate an ast.lem which is is valid w.r.t. -lem_ast output.
This is the first step towards getting the interpreter working on this branch
Diffstat (limited to 'src/test/run_power.ml')
0 files changed, 0 insertions, 0 deletions