mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
porting to linux
This commit is contained in:
parent
3764064e98
commit
eee2d7af94
|
@ -606,7 +606,7 @@ expr context::make_quant(decl_kind op, const std::vector<sort> &_sorts, const st
|
|||
void model::show_hash() const {
|
||||
std::ostringstream ss;
|
||||
model_smt2_pp(ss, m(), *m_model, 0);
|
||||
std::hash<std::string> hasher;
|
||||
stl_ext::hash<std::string> hasher;
|
||||
unsigned h = hasher(ss.str());
|
||||
std::cout << "model hash: " << h << "\n";
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue