projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e17dd6) | patch
remove redundant includes (#3815)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 25 Feb 2020 15:23:30 +0000 (07:23 -0800)
committerGitHub <noreply@github.com>
Tue, 25 Feb 2020 15:23:30 +0000 (09:23 -0600)
commit1762d08c937129900e5a1605b320b1edd64dc639
treef9a1080275e3e9b65ff5b2de3e43cf08fb29c022tree
parent6e17dd6d5e3ec043e5edd097ac6a736f6a41c753commit | diff
remove redundant includes (#3815)

I came across these two redundant includes in theory_uf.h and removed them.
src/theory/uf/theory_uf.h diff | blob | history