diff options
Diffstat (limited to 'src/util/congruence_closure.cpp')
-rw-r--r-- | src/util/congruence_closure.cpp | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/util/congruence_closure.cpp b/src/util/congruence_closure.cpp deleted file mode 100644 index 14315ac5a..000000000 --- a/src/util/congruence_closure.cpp +++ /dev/null @@ -1,25 +0,0 @@ -/********************* */ -/*! \file congruence_closure.cpp - ** \verbatim - ** Original author: mdeters - ** Major contributors: none - ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University - ** See the file COPYING in the top-level source directory for licensing - ** information.\endverbatim - ** - ** \brief The congruence closure module implementation - ** - ** The congruence closure module implementation. - **/ - -#include "util/congruence_closure.h" - -using namespace std; - -namespace CVC4 { - -}/* CVC4 namespace */ |