diff options
Diffstat (limited to 'src/util/decision_engine.cpp')
-rw-r--r-- | src/util/decision_engine.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/decision_engine.cpp b/src/util/decision_engine.cpp index 210391555..7641472f8 100644 --- a/src/util/decision_engine.cpp +++ b/src/util/decision_engine.cpp @@ -11,8 +11,9 @@ ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** - ** \brief . + ** \brief A decision engine for CVC4 ** + ** A decision engine for CVC4. **/ #include "util/decision_engine.h" |