- let status1 = eval_trans auto cache2 cache5 tag fcs nss ps status0 in
- TRACE(html tree node _i status1 "Updating transitions");
-
- (* update the cache if the status of the node changed *)
-
- if status1 != status0 then status.(node_id) <- status1;
+ let status1 = if status0.NodeStatus.node.todo == StateSet.empty then status0 else begin
+ let status1 = eval_trans auto cache2 cache5 tag fcs nss ps status0 in
+ TRACE(html tree node _i status1 "Updating transitions");
+ (* update the cache if the status of the node changed *)
+ if status1 != status0 then status.(node_id) <- status1;
+ status1
+ end
+ in