diff options
Diffstat (limited to 'src/driver/driver.hh')
-rw-r--r-- | src/driver/driver.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/driver/driver.hh b/src/driver/driver.hh index d951f97..ae169fd 100644 --- a/src/driver/driver.hh +++ b/src/driver/driver.hh @@ -34,6 +34,7 @@ enum method // enum verbose_level { + verbose_level__no_output, verbose_level__physics_highlights, verbose_level__physics_details, verbose_level__algorithm_highlights, |