diff options
Diffstat (limited to 'src/util/record.cpp')
-rw-r--r-- | src/util/record.cpp | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/src/util/record.cpp b/src/util/record.cpp deleted file mode 100644 index ea9b5495a..000000000 --- a/src/util/record.cpp +++ /dev/null @@ -1,38 +0,0 @@ -/********************* */ -/*! \file record.cpp - ** \verbatim - ** Original author: Morgan Deters - ** Major contributors: none - ** Minor contributors (to current version): none - ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2014 New York University and The University of Iowa - ** See the file COPYING in the top-level source directory for licensing - ** information.\endverbatim - ** - ** \brief A class representing a record definition - ** - ** A class representing a record definition. - **/ - -#include "util/record.h" - -using namespace std; - -namespace CVC4 { - -std::ostream& operator<<(std::ostream& os, const Record& r) { - os << "[# "; - bool first = true; - for(Record::iterator i = r.begin(); i != r.end(); ++i) { - if(!first) { - os << ", "; - } - os << (*i).first << ":" << (*i).second; - first = false; - } - os << " #]"; - - return os; -} - -}/* CVC4 namespace */ |