-
Type: Task
-
Resolution: Done
-
Priority: Major - P3
-
Affects Version/s: None
-
Component/s: Internal Code, Querying
-
Labels:None
-
Fully Compatible
-
Quint Iteration 7
Internal code change only. Using final will prevent some classes of bugs and may provide a small performance enhancement.