git.libre-soc.org Git - cvc5.git/commit

author	Tim King <taking@cs.nyu.edu>
	Tue, 6 Feb 2018 23:55:40 +0000 (15:55 -0800)
committer	Aina Niemetz <aina.niemetz@gmail.com>
	Tue, 6 Feb 2018 23:55:40 +0000 (15:55 -0800)
commit	b258ebd1cb08252f8cf7f317c08eadbe1fb8e8fe
tree	ad5a36fc8bad0c95ef7e9538314e81ce683c2cee	tree
parent	af20fc43b48217ebc402ad0def388e7a21b49c47	commit \| diff

Resolving warnings from -Winconsistent-missing-override on clang. (#1563)

16 files changed:

src/theory/arith/theory_arith.h		diff \| blob \| history
src/theory/arrays/theory_arrays.h		diff \| blob \| history
src/theory/bv/theory_bv.h		diff \| blob \| history
src/theory/datatypes/theory_datatypes.h		diff \| blob \| history
src/theory/fp/theory_fp.h		diff \| blob \| history
src/theory/quantifiers/ceg_t_instantiator.h		diff \| blob \| history
src/theory/quantifiers/first_order_model.h		diff \| blob \| history
src/theory/quantifiers/inst_match_generator.h		diff \| blob \| history
src/theory/quantifiers/inst_strategy_cbqi.h		diff \| blob \| history
src/theory/quantifiers/model_builder.h		diff \| blob \| history
src/theory/quantifiers/theory_quantifiers.h		diff \| blob \| history
src/theory/sep/theory_sep.h		diff \| blob \| history
src/theory/sets/theory_sets.h		diff \| blob \| history
src/theory/strings/theory_strings.h		diff \| blob \| history
src/theory/theory_model.h		diff \| blob \| history
src/theory/uf/theory_uf.h		diff \| blob \| history