Skip to content

Commit

Permalink
Fix p_xor typo
Browse files Browse the repository at this point in the history
  • Loading branch information
chriselrod committed Feb 3, 2021
1 parent afa7e61 commit b3310f9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/static.jl
Original file line number Diff line number Diff line change
Expand Up @@ -195,7 +195,7 @@ Base.:(&)(x::Bool, y::StaticBool) = x & Bool(y)
Base.:(&)(x::StaticBool, y::Bool) = Bool(x) & y

Base.xor(y::StaticBool, x::StaticBool) = _xor(x, y)
p_xor(::True, ::True) = False()
_xor(::True, ::True) = False()
_xor(::True, ::False) = True()
_xor(::False, ::True) = True()
_xor(::False, ::False) = False()
Expand Down

0 comments on commit b3310f9

Please sign in to comment.