projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19a93d5) | patch
Fix use of APPLY kind in examples (#2984)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 30 Apr 2019 11:12:47 +0000 (04:12 -0700)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 30 Apr 2019 11:12:47 +0000 (06:12 -0500)
commit6538957335ecf83af38150054cf80555a57e72d0
treef0808d70a16f9282e894c588c11a8aa4d41603e6tree
parent19a93d5e0f924c70e7f77719e0310c730c8fbc61commit | diff
Fix use of APPLY kind in examples (#2984)
examples/sets-translate/sets_translate.cpp diff | blob | history