Update src/transition_systems/clock_reduction/clock_analysis_graph.rs

Co-authored-by: Rasmus Krogh Udengaard <[email protected]>
ECDAR-AAU-SW-P5 · Dec 13, 2023 · 3d26a52 · 3d26a52
1 parent 0b638bc
commit 3d26a52
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/transition_systems/clock_reduction/clock_analysis_graph.rs b/src/transition_systems/clock_reduction/clock_analysis_graph.rs
@@ -146,7 +146,7 @@ impl ClockAnalysisGraph {
                 group_offset += (u32::MAX as usize) * 2;
             }
 
-            //Then we just have to take each of the values in the map and collect them into a vec
+            // Then we just have to take each of the values in the map and collect them into a vec
             equivalent_clock_groups = new_groups
                 .into_iter()
                 .map(|pair| pair.1)