projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec6fe33) | patch
Use proper variable name (#6670)
authorGereon Kremer <nafur42@gmail.com>
Wed, 2 Jun 2021 16:01:08 +0000 (18:01 +0200)
committerGitHub <noreply@github.com>
Wed, 2 Jun 2021 16:01:08 +0000 (16:01 +0000)
commite1d476724171293d324ea9f144d1171d9b36b571
treecb250dc5a85851b022052c8578883e16df6efe62tree
parentec6fe33ab778a7bb5d2d016b799b1918b90fc338commit | diff
Use proper variable name (#6670)

This PR fixes the driver which used an incorrect variable name in competition mode.
src/main/driver_unified.cpp diff | blob | history