diff options
| author | Thomas Bauereiss | 2019-02-07 21:05:41 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-02-07 21:05:41 +0000 |
| commit | f397a40e6cf98b685dd15dfcd4ea2c9524cbfad7 (patch) | |
| tree | 69bd2ce0e8ea7dc8691432ef56f194fe420405a0 /src/process_file.ml | |
| parent | 6fffd6ef54ab33441d08f40f56f27daa9c5b333e (diff) | |
Replace equality check for declared effects by subset check
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions