diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-03-20 00:03:33 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-16 21:14:14 +0100 |
| commit | dc8526ff0792fcf34c93ed43a4248b361090d103 (patch) | |
| tree | b810f30739a995246c646593eae46513c52555ce /Documentation | |
| parent | 0e5ac86500040e8abda1bfa9a7c9084a7dd690a4 (diff) | |
| download | sparse-dev-dc8526ff0792fcf34c93ed43a4248b361090d103.tar.gz | |
give a type to OP_SWITCHs
For consistency and for sparse-LLVM which needs it,
give them a type too.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions
