Skip to content

Commit

Permalink
formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
Rumata888 committed Nov 20, 2024
1 parent 9845bfa commit a5ed2dc
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -120,7 +120,7 @@ template <class Builder> class goblin_field {
}

// done in the translator circuit
void assert_is_in_field() {};
void assert_is_in_field(){};

OriginTag get_origin_tag() const { return OriginTag(limbs[0].get_origin_tag(), limbs[1].get_origin_tag()); }

Expand Down

0 comments on commit a5ed2dc

Please sign in to comment.