summaryrefslogtreecommitdiff
path: root/src/pre_parser.mly
diff options
context:
space:
mode:
authorKathy Gray2014-04-03 15:45:26 +0100
committerKathy Gray2014-04-03 15:45:26 +0100
commitadfd02f23f1c2e72cea51a14c50387d319a7a7fe (patch)
tree6f44adb8d78300ccca0cfeb97c7269c27abf4e79 /src/pre_parser.mly
parente635e7677f56ee7bba4e0aeb2c307938a78045f7 (diff)
make sail backwards compatible to older ocaml again
Diffstat (limited to 'src/pre_parser.mly')
0 files changed, 0 insertions, 0 deletions