Skip to content

Commit

Permalink
chore: redo typo PR by teenager-ETH (#11320)
Browse files Browse the repository at this point in the history
  • Loading branch information
AztecBot authored Jan 17, 2025
1 parent 629bd64 commit 77854e2
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -81,4 +81,4 @@ class CircuitBase {
virtual ~CircuitBase() = default;
};

}; // namespace smt_circuit
}; // namespace smt_circuit

0 comments on commit 77854e2

Please sign in to comment.