mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Code Activity

Add missing include

Browse source 
The code should not have compiled previously, as smt::context was only forward declared at this point.
This commit is contained in:
Daniel Schemmel 2018-05-19 04:25:43 +02:00
parent 9c5a0ee810
commit 78087483ca
No known key found for this signature in database
GPG key ID: A176732062461ECC
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/smt/theory_arith.h
View file

@ -31,6 +31,7 @@ Revision History:
#include "smt/params/theory_arith_params.h"
#include "smt/arith_eq_adapter.h"
#include "smt/proto_model/numeral_factory.h"
#include "smt/smt_context.h"
#include "util/obj_pair_hashtable.h"
#include "smt/old_interval.h"
#include "math/grobner/grobner.h"