mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-20 20:05:51 +00:00
Code Activity

Revert "Add finite_set_value_factory for creating finite set values in model …" (#7985)

Browse source 
This reverts commit 05ffc0a77b.
This commit is contained in:
Nikolaj Bjorner 2025-10-16 13:18:35 +02:00
parent 85e1a39c09
commit 90d36ed915
3 changed files with 0 additions and 89 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/model/model.cpp
View file

@ -42,7 +42,6 @@ Revision History:
#include "model/char_factory.h"
#include "model/finite_set_factory.h"
model::model(ast_manager & m):
model_core(m),
m_mev(*this),