diff options
| author | Linus Nordberg <linus@nordberg.se> | 2014-09-10 10:04:54 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordberg.se> | 2014-09-10 10:04:54 +0200 |
| commit | 471c67946f7eebc6916eccd9fccdc0965e811e1c (patch) | |
| tree | f97c00513a86c89b2946020e4cc5165696bbed59 /include | |
| parent | 7a9ce6cd6e57d371ce4a512f74f5ad6d70c556a1 (diff) | |
Get rid of dialyzer warning.
Specify the match as a tuple rather than a record since dialyzer
correctly reports that #plop fields cannot be atoms.
The drawback is that the match needs updating when the definition of
#plop{} changes, including merely reordering of fields.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions