Simplify interface to instantiate (#5926)

[cvc5.git] / src / theory / interrupted.h

diff --git a/src/theory/interrupted.h b/src/theory/interrupted.h
index d53ee9d542fc2db80df4281c755d005303f28371..f208dd3acc29da46c7b598d72f5dc1d071f83207 100644 (file)
--- a/src/theory/interrupted.h
+++ b/src/theory/interrupted.h
@@ -2,10 +2,10 @@
 /*! \file interrupted.h
  ** \verbatim
  ** Top contributors (to current version):
- **   Morgan Deters, Paul Meng, Tim King
+ **   Mathias Preiner, Morgan Deters
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+ ** 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
  **
@@ -26,8 +26,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__THEORY__INTERRUPTED_H
-#define __CVC4__THEORY__INTERRUPTED_H
+#ifndef CVC4__THEORY__INTERRUPTED_H
+#define CVC4__THEORY__INTERRUPTED_H
 
 #include "base/exception.h"
 
@@ -40,4 +40,4 @@ class Interrupted : public CVC4::Exception {
 }/* CVC4::theory namespace */
 }/* CVC4 namespace */
 
-#endif /* __CVC4__THEORY__INTERRUPTED_H */
+#endif /* CVC4__THEORY__INTERRUPTED_H */