CR comment

Signed-off-by: Elazar Gershuni <[email protected]>
vbpf · Nov 22, 2024 · eff7e07 · eff7e07
1 parent 5caf644
commit eff7e07
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/crab/cfg.hpp b/src/crab/cfg.hpp
@@ -429,12 +429,12 @@ class basic_block_t final {
 
     [[nodiscard]]
     label_t first_label() const {
-        return m_ts.at(0);
+        return m_ts.front();
     }
 
     [[nodiscard]]
     label_t last_label() const {
-        return m_ts.at(m_ts.size() - 1);
+        return m_ts.back();
     }
 
     [[nodiscard]]