commit 7309820fb2be57d06c1a922375cc01a8901b687f
author Tor Jeremiassen <torerik@google.com> Thu Jun 06 07:53:42 2024 -0700
committer Tor Jeremiassen <torerik@google.com> Thu Jun 06 13:55:17 2024 -0700
tree 52f7e5e85c8d625e889c3d84fa11026c8f841a8f
parent e9740b64bafd5cf95e771f8d2d796e115e935a1c

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()) {