Commit 37e3ad3
committed
Fix boolean logic
1 parent 2aa941b commit 37e3ad3
2 files changed
Lines changed: 4 additions & 4 deletions
File tree
- src/fiat/drhook
- tests/drhook/drhook_core/drhook_no_hw_fpe
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
259 | 259 | | |
260 | 260 | | |
261 | 261 | | |
262 | | - | |
| 262 | + | |
263 | 263 | | |
264 | 264 | | |
265 | 265 | | |
| |||
2621 | 2621 | | |
2622 | 2622 | | |
2623 | 2623 | | |
2624 | | - | |
| 2624 | + | |
2625 | 2625 | | |
2626 | 2626 | | |
2627 | 2627 | | |
| |||
Lines changed: 2 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
66 | 66 | | |
67 | 67 | | |
68 | 68 | | |
69 | | - | |
| 69 | + | |
70 | 70 | | |
71 | 71 | | |
72 | 72 | | |
| |||
95 | 95 | | |
96 | 96 | | |
97 | 97 | | |
98 | | - | |
| 98 | + | |
99 | 99 | | |
0 commit comments