remove unnecassary retain

fixes d0iasm#31 (comment)
lenawanel · May 29, 2024 · e7db0c4 · e7db0c4
1 parent f55eb5b
commit e7db0c4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/cpu.rs b/src/cpu.rs
@@ -1790,7 +1790,6 @@ impl Cpu {
                             self.write(addr, self.xregs.read(rs2), WORD)?;
                             self.xregs.write(rd, 0);
                         } else {
-                            self.reservation_set.retain(|&x| x != addr);
                             self.xregs.write(rd, 1);
                         };
                     }
@@ -1811,7 +1810,6 @@ impl Cpu {
                             self.write(addr, self.xregs.read(rs2), DOUBLEWORD)?;
                             self.xregs.write(rd, 0);
                         } else {
-                            self.reservation_set.retain(|&x| x != addr);
                             self.xregs.write(rd, 1);
                         }
                     }