Antony Lee 6b4297fd2f
fix: don't trigger -Wunused-parameter in flagcheck.cpp. (#2735)
... by leaving the unused parameters anonymous.

(This can be checked e.g. by compiling python_example with -Wall
-Wextra.)
2020-12-21 22:17:10 -05:00
..
2020-11-11 19:27:41 -05:00