diff options
| author | Gabriel Kerneis | 2014-01-15 13:54:41 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-01-15 13:54:41 +0100 |
| commit | 828f19828e41ced146f06e9a7eb4183cd9ef3ab4 (patch) | |
| tree | 089bf268de73a6e04eb91177790dbbc9243d0ad7 /src/initial_check.ml | |
| parent | 704d202287aa645138727a1aa06367308af284ce (diff) | |
Accept single bits as boolean values for if in interpreter
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions