diff options
-rw-r--r-- | src/driver/mask.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/driver/mask.cc b/src/driver/mask.cc index 479c5ca..af1b282 100644 --- a/src/driver/mask.cc +++ b/src/driver/mask.cc @@ -360,7 +360,7 @@ const bool set_new_style_mask = mask_info.set_new_style_mask; const struct mask_info::old_style_mask_info& osmi = mask_info.old_style_mask_info; const struct mask_info::new_style_mask_info& nsmi = mask_info.new_style_mask_info; -if (verbose_info.print_algorithm_details) +if (verbose_info.print_algorithm_highlights) then { if (set_old_style_mask) then CCTK_VInfo(CCTK_THORNSTRING, |