Commit 87cad902 authored by Maximilien Colange's avatar Maximilien Colange

Fix an issue on the number of clocks introduced in commit 5c1cb14e.

parent 269e7e8b
...@@ -639,7 +639,7 @@ struct ...@@ -639,7 +639,7 @@ struct
(* this should be used from another function that caches the results *) (* this should be used from another function that caches the results *)
(* TODO some clocks already have their constant known, cache them *) (* TODO some clocks already have their constant known, cache them *)
let _lubounds ta state = let _lubounds ta state =
let n = nb_clocks ta in let n = VarContext.size ta.clocks in
let lb, ub = Array.make n 0, Array.make n 0 in let lb, ub = Array.make n 0, Array.make n 0 in
for cl=0 to n-1 do for cl=0 to n-1 do
let lexpr, uexpr = Array.fold_left let lexpr, uexpr = Array.fold_left
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment