aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-09-20 01:01:01 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-10-06 18:32:50 +0200
commit735ac5d051fbb2fb2e0d628ae114a4c7e8e6e53b (patch)
treeadca457f04b7bd2715fe7213183b52fad62f39dc /validation
parent7f816fc3cd71494db289aa95f61313e66be2575a (diff)
downloadsparse-dev-735ac5d051fbb2fb2e0d628ae114a4c7e8e6e53b.tar.gz
remove definition of removed OP_{AND,OR}_BOOL
These instructions have been removed years ago, in 2016 but the corresponding opcode defines have been forgotten. So remove them now. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
0 files changed, 0 insertions, 0 deletions