projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4423297) | patch
[Strings] Remove redundant call to rewriter (#7978)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 25 Jan 2022 04:01:13 +0000 (20:01 -0800)
committerGitHub <noreply@github.com>
Tue, 25 Jan 2022 04:01:13 +0000 (04:01 +0000)
commitb9308b9b9cf07b02318d772a508781971603be2c
tree1a7d4be07556a1f3768907a937132790db0ff13ctree
parent44232973fcb5b09d5440ef25cdb969fe4ad37962commit | diff
[Strings] Remove redundant call to rewriter (#7978)

The term being rewritten was already rewritten a couple of lines above.
src/theory/strings/inference_manager.cpp diff | blob | history