diff options
| author | Kathy Gray | 2015-11-24 19:05:10 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-11-24 19:05:10 +0000 |
| commit | 4c459ece7d01288d5529862e116fd75db9c1afd9 (patch) | |
| tree | 3ac2c7ca83274b666ba61d5c78633bd486105d1d /src/initial_check.ml | |
| parent | 10321a2cf266b57dfa5ebe3606d24ac3d6bc7d74 (diff) | |
Add BE_escape effect when an E_exit is seen
Close #20
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions