diff options
Diffstat (limited to 'src/theory/idl')
-rw-r--r-- | src/theory/idl/idl_assertion.cpp | 2 | ||||
-rw-r--r-- | src/theory/idl/idl_assertion.h | 2 | ||||
-rw-r--r-- | src/theory/idl/idl_assertion_db.cpp | 2 | ||||
-rw-r--r-- | src/theory/idl/idl_assertion_db.h | 2 | ||||
-rw-r--r-- | src/theory/idl/idl_model.cpp | 2 | ||||
-rw-r--r-- | src/theory/idl/idl_model.h | 2 | ||||
-rw-r--r-- | src/theory/idl/theory_idl.cpp | 2 | ||||
-rw-r--r-- | src/theory/idl/theory_idl.h | 2 |
8 files changed, 8 insertions, 8 deletions
diff --git a/src/theory/idl/idl_assertion.cpp b/src/theory/idl/idl_assertion.cpp index 1e725932b..717122195 100644 --- a/src/theory/idl/idl_assertion.cpp +++ b/src/theory/idl/idl_assertion.cpp @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Dejan Jovanovic ** Major contributors: none - ** Minor contributors (to current version): none + ** Minor contributors (to current version): Morgan Deters ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing diff --git a/src/theory/idl/idl_assertion.h b/src/theory/idl/idl_assertion.h index 8ce0e93b2..d0328e600 100644 --- a/src/theory/idl/idl_assertion.h +++ b/src/theory/idl/idl_assertion.h @@ -2,7 +2,7 @@ /*! \file idl_assertion.h ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: none + ** Major contributors: Morgan Deters ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa diff --git a/src/theory/idl/idl_assertion_db.cpp b/src/theory/idl/idl_assertion_db.cpp index 697c70c02..692084071 100644 --- a/src/theory/idl/idl_assertion_db.cpp +++ b/src/theory/idl/idl_assertion_db.cpp @@ -2,7 +2,7 @@ /*! \file idl_assertion_db.cpp ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: none + ** Major contributors: Morgan Deters ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa diff --git a/src/theory/idl/idl_assertion_db.h b/src/theory/idl/idl_assertion_db.h index 0501bc6bf..205102b0f 100644 --- a/src/theory/idl/idl_assertion_db.h +++ b/src/theory/idl/idl_assertion_db.h @@ -2,7 +2,7 @@ /*! \file idl_assertion_db.h ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: none + ** Major contributors: Morgan Deters ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa diff --git a/src/theory/idl/idl_model.cpp b/src/theory/idl/idl_model.cpp index 75f4834ea..71cd44314 100644 --- a/src/theory/idl/idl_model.cpp +++ b/src/theory/idl/idl_model.cpp @@ -2,7 +2,7 @@ /*! \file idl_model.cpp ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: none + ** Major contributors: Morgan Deters ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa diff --git a/src/theory/idl/idl_model.h b/src/theory/idl/idl_model.h index 64407684b..22e05c469 100644 --- a/src/theory/idl/idl_model.h +++ b/src/theory/idl/idl_model.h @@ -2,7 +2,7 @@ /*! \file idl_model.h ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: none + ** Major contributors: Morgan Deters ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa diff --git a/src/theory/idl/theory_idl.cpp b/src/theory/idl/theory_idl.cpp index e5100fc71..987973bf3 100644 --- a/src/theory/idl/theory_idl.cpp +++ b/src/theory/idl/theory_idl.cpp @@ -2,7 +2,7 @@ /*! \file theory_idl.cpp ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: none + ** Major contributors: Morgan Deters ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa diff --git a/src/theory/idl/theory_idl.h b/src/theory/idl/theory_idl.h index c629ad2b0..4597d4c6a 100644 --- a/src/theory/idl/theory_idl.h +++ b/src/theory/idl/theory_idl.h @@ -2,7 +2,7 @@ /*! \file theory_idl.h ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: none + ** Major contributors: Morgan Deters ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa |