projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f49ddf8 f5954a6)
Merge pull request #137 from 4tXJ7f/throw_quals
authorClark Barrett <barrett@cs.stanford.edu>
Mon, 27 Mar 2017 20:20:27 +0000 (13:20 -0700)
committerGitHub <noreply@github.com>
Mon, 27 Mar 2017 20:20:27 +0000 (13:20 -0700)
Remove throw qualifiers in type enumerators


Trivial merge