diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-05-11 19:11:56 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-05-11 19:11:56 +0000 |
| commit | 90107a2c332fb4137a432424136cbfd1ab88b34d (patch) | |
| tree | f30ee0c34fac6b524ebceb6ed89cb0a1d7a714e6 /src/util/matcher.h | |
| parent | f20e159baa1669bbedbf6afd4f0a5117854822a9 (diff) | |
output a warning message when a function type (or datatype, or array, etc.) is created with a Boolean term inside it
Diffstat (limited to 'src/util/matcher.h')
0 files changed, 0 insertions, 0 deletions