Skip to content

Commit

Permalink
typo
Browse files Browse the repository at this point in the history
  • Loading branch information
Araq committed Jan 16, 2024
1 parent d9522de commit 3482e09
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/satvars.nim
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@ proc isTrue*(b: Solution; v: VarId): bool {.inline.} =
b.getVar(v) == SetToTrue

const
oddBits = 0b0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101_0101'u64
oddBits = 0b01010101_01010101_01010101_01010101_01010101_01010101_01010101_01010101'u64

proc containsInvalid(x: uint64): bool {.inline.} =
var y = (x and oddBits) shl 1
Expand Down

0 comments on commit 3482e09

Please sign in to comment.