diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2017-05-15 09:50:45 -0700 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2017-05-15 09:50:45 -0700 |
commit | fdef54aaa36793cb9314dea3830879e051db2aa8 (patch) | |
tree | e891a13b92dd42ad578b90340e61637f3651ace4 /src/lib | |
parent | 84af3731aa40e2e6f9281827af87350a2cb44ea1 (diff) |
Fix minor bug in sets rewriter
As reported by Coverity, one of the switches in the sets rewriter had a missing
break. This could lead to an assertion failure when rewriting the cardinality
of a transpose as in the test case included in this commit.
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions