mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Added FPA setup to default kernel setup
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
5619f6b583
commit
d8f90802c0
|
@ -813,6 +813,7 @@ namespace smt {
|
|||
setup_AUFLIA(false);
|
||||
setup_datatypes();
|
||||
setup_bv();
|
||||
setup_fpa();
|
||||
return;
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue