From 757710c4cf88dcbca83b601b857b6a977f1d4745 Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Fri, 17 Jan 2025 18:49:23 +0000
Subject: [PATCH] chore: redo typo PR

---
 .../barretenberg/smt_verification/circuit/circuit_base.hpp    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/barretenberg/cpp/src/barretenberg/smt_verification/circuit/circuit_base.hpp b/barretenberg/cpp/src/barretenberg/smt_verification/circuit/circuit_base.hpp
index 81584333656..be7a51d342f 100644
--- a/barretenberg/cpp/src/barretenberg/smt_verification/circuit/circuit_base.hpp
+++ b/barretenberg/cpp/src/barretenberg/smt_verification/circuit/circuit_base.hpp
@@ -30,7 +30,7 @@ class CircuitBase {
     std::vector<bb::fr> variables;                                    // circuit witness
     std::vector<uint32_t> public_inps;                                // public inputs from the circuit
     std::unordered_map<uint32_t, std::string> variable_names;         // names of the variables
-    std::unordered_map<std::string, uint32_t> variable_names_inverse; // inverse map of the previous memeber
+    std::unordered_map<std::string, uint32_t> variable_names_inverse; // inverse map of the previous member
     std::unordered_map<uint32_t, STerm> symbolic_vars;                // all the symbolic variables from the circuit
     std::vector<uint32_t> real_variable_index;                        // indexes for assert_equal'd wires
     std::vector<uint32_t> real_variable_tags;                         // tags of the variables in the circuit
@@ -81,4 +81,4 @@ class CircuitBase {
     virtual ~CircuitBase() = default;
 };
 
-}; // namespace smt_circuit
\ No newline at end of file
+}; // namespace smt_circuit