diff options
| author | Kathy Gray | 2015-06-29 14:06:01 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-06-29 14:06:01 +0100 |
| commit | 2e4be2314249c7c6d6222482cc3a37bef6ffb019 (patch) | |
| tree | 87e144cb6d8874cbd43fdc02d5fefb3db2593278 /src/util.ml | |
| parent | 2dc2c065357d488054e77beb29cd26e031a3da98 (diff) | |
Return unknown for a == unknown or unknown == a. Fixes issue #15
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions