No public description

PiperOrigin-RevId: 640897181
Change-Id: Iacc23ee012fa6bf5cfaa1780e3b55032e644ccd1

cheriot/cheriot_top.cc

diff --git a/cheriot/cheriot_top.cc b/cheriot/cheriot_top.cc
index 3557f96..ad8574d 100644
--- a/cheriot/cheriot_top.cc
+++ b/cheriot/cheriot_top.cc
@@ -292,7 +292,6 @@
   counter_num_instructions_.Increment(1);
   real_inst->DecRef();
   // Re-enable the breakpoint.
-  // Re-enable the breakpoint.
   rv_action_point_manager_->WriteBreakpointInstruction(pc);
   // Get the next pc value.
   if (state_->branch()) {