summaryrefslogtreecommitdiff
path: root/src/initial_check.mli
diff options
context:
space:
mode:
authorKathy Gray2014-04-02 19:03:36 +0100
committerKathy Gray2014-04-02 19:03:36 +0100
commitf6209092f859e19b68fefac5f54a750a2da3cac8 (patch)
tree2b5e88f0d3dd4fcf0097accd203e88278724a31b /src/initial_check.mli
parent3d26063b463049b0991b14436fbdf2877424bd49 (diff)
Fix bug that was throwing away the cast telling the interpreter to read a register
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions