updated get_clock_count method to count unique clock indices

ECDAR-AAU-SW-P5 · Dec 14, 2023 · 0b37d9c · 0b37d9c
1 parent 00f5cb3
commit 0b37d9c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/model_objects/component.rs b/src/model_objects/component.rs
@@ -433,7 +433,7 @@ impl Declarations {
     }
 
     pub fn get_clock_count(&self) -> usize {
-        self.clocks.len()
+        self.clocks.values().collect::<HashSet<_>>().len()
     }
 
     pub fn set_clock_indices(&mut self, start_index: ClockIndex) {