Commit 8a02312
committed
define WLOG to a no-op when not used with debugging
1 parent 50aa10d commit 8a02312
2 files changed
Lines changed: 6 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
11343 | 11343 | | |
11344 | 11344 | | |
11345 | 11345 | | |
| 11346 | + | |
11346 | 11347 | | |
11347 | 11348 | | |
11348 | 11349 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
72 | 72 | | |
73 | 73 | | |
74 | 74 | | |
75 | | - | |
| 75 | + | |
| 76 | + | |
76 | 77 | | |
77 | 78 | | |
78 | 79 | | |
79 | | - | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
80 | 83 | | |
81 | 84 | | |
82 | 85 | | |
| |||
0 commit comments