diff options
Diffstat (limited to 'abstract/abs_interp.ml')
| -rw-r--r-- | abstract/abs_interp.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/abstract/abs_interp.ml b/abstract/abs_interp.ml index 383a69c..a610843 100644 --- a/abstract/abs_interp.ml +++ b/abstract/abs_interp.ml @@ -111,14 +111,14 @@ end = struct let rec iter n i = let i' = if n < st.widen_delay - then E.join i (fsharp st.cl_g i) + then E.join i (fsharp st.cl i) else E.widen i (fsharp st.cl_g i) in if E.eq i i' then i else iter (n+1) i' in let x = iter 0 acc0 in - let y = fix E.eq (fsharp st.cl_g) x in (* decreasing iteration *) + let y = fix E.eq (fsharp st.cl) x in (* decreasing iteration *) let z = E.apply_cl y st.cl in (* no more guarantee *) y, z |