Commit 92cb916
committed
define WLOG to a no-op when not used with debugging
1 parent 967d6c5 commit 92cb916
2 files changed
+6
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
11367 | 11367 | | |
11368 | 11368 | | |
11369 | 11369 | | |
| 11370 | + | |
11370 | 11371 | | |
11371 | 11372 | | |
11372 | 11373 | | |
| |||
| 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