Simplify interface to instantiate (#5926)

[cvc5.git] / src / theory / decision_manager.cpp

diff --git a/src/theory/decision_manager.cpp b/src/theory/decision_manager.cpp
index de5ad2fb1ffafafd358e2efdcc7ff44a8aeb163c..4137d0a8fa3da08ce7dd482247bfe6a89b736062 100644 (file)
--- a/src/theory/decision_manager.cpp
+++ b/src/theory/decision_manager.cpp
@@ -5,7 +5,7 @@
  **   Andrew Reynolds
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **