diff options
Diffstat (limited to 'src/smt/set_defaults.h')
-rw-r--r-- | src/smt/set_defaults.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/set_defaults.h b/src/smt/set_defaults.h index 606921b7c..972d828bd 100644 --- a/src/smt/set_defaults.h +++ b/src/smt/set_defaults.h @@ -28,7 +28,7 @@ namespace smt { * updated by this method based on the current options and the logic itself. * @param isInternalSubsolver Whether we are setting the options for an * internal subsolver (see SmtEngine::isInternalSubsolver). - * + * * NOTE: we currently modify the current options in scope. This method * can be further refactored to modify an options object provided as an * explicit argument. |