derive clone for clockmap

calyxir · Dec 3, 2024 · be3a7ec · be3a7ec
1 parent 44d2c52
commit be3a7ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/interp/src/flatten/structures/environment/clock.rs b/interp/src/flatten/structures/environment/clock.rs
@@ -33,7 +33,7 @@ pub struct ClockPairInfo {
     pub entry_number: Option<u32>,
 }
 
-#[derive(Debug, Default)]
+#[derive(Debug, Default, Clone)]
 pub struct ClockMap {
     clocks: IndexedMap<ClockIdx, VectorClock<ThreadIdx>>,
     reverse_map: HashMap<ClockPair, ClockPairInfo>,