aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-06-22 22:27:58 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-06-22 22:47:58 +0200
commit48d7626d4046cb0e0df9164f7684be583f49c5ea (patch)
tree5d6734cd2a9630f542d6cdd300ba10b4fdf58121 /validation/linear
parent8688eb7aaf138b3c613a97ee9eb1742b31cbe58f (diff)
downloadsparse-dev-48d7626d4046cb0e0df9164f7684be583f49c5ea.tar.gz
remove unused arg in simplify_cond_branch()
With the introduction of replace_pseudo(), the old condition is now unneeded so remove this argument from the function. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/linear')
0 files changed, 0 insertions, 0 deletions