mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
fix a typedef
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
22bec010ba
commit
fffd764226
|
@ -38,6 +38,7 @@ void dep_intervals::set_interval_for_scalar(interval& a, const rational& v) {
|
|||
|
||||
|
||||
|
||||
|
||||
void dep_intervals::set_zero_interval(interval& i, u_dependency* dep) const {
|
||||
auto val = rational(0);
|
||||
m_config.set_lower(i, val);
|
||||
|
|
|
@ -332,5 +332,5 @@ public:
|
|||
|
||||
copy_upper_bound<wd>(b, i);
|
||||
}
|
||||
typedef im_config::interval interv;
|
||||
|
||||
};
|
||||
|
|
|
@ -34,7 +34,7 @@ class intervals {
|
|||
core* m_core;
|
||||
|
||||
public:
|
||||
typedef dep_intervals::interv interval;
|
||||
typedef dep_intervals::interval interval;
|
||||
private:
|
||||
u_dependency* mk_dep(lp::constraint_index ci);
|
||||
u_dependency* mk_dep(lp::explanation const&);
|
||||
|
|
Loading…
Reference in a new issue