Skip to content

Commit

Permalink
Remove unused enum literal
Browse files Browse the repository at this point in the history
Ref. #47, #382
  • Loading branch information
treiher committed Aug 11, 2020
1 parent b97609d commit 1c1379a
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions rflx/expression.py
Original file line number Diff line number Diff line change
Expand Up @@ -23,8 +23,7 @@ class Precedence(Enum):
unary_adding_operator = 4
multiplying_operator = 5
highest_precedence_operator = 6
set_operator = 7
literal = 8
literal = 7


class ProofResult(Enum):
Expand Down

0 comments on commit 1c1379a

Please sign in to comment.