projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06e2667) | patch
Removing the CVC4_PUBLIC attribute from the forward declaration of Record in type.h.
authorTim King <taking@google.com>
Mon, 1 Feb 2016 19:45:14 +0000 (11:45 -0800)
committerTim King <taking@google.com>
Mon, 1 Feb 2016 19:45:14 +0000 (11:45 -0800)
commit18973b31c440d998230aaba3e17bd915b168aa6f
tree95c290d0cda31ad9b34963ee755f5bb5af28fdf5tree
parent06e266745d3621a11da7860de45b6533de96f55ccommit | diff
Removing the CVC4_PUBLIC attribute from the forward declaration of Record in type.h.
src/expr/type.h diff | blob | history