1 files changed, 0 insertions, 38 deletions
diff --git a/src/theory/decision_attributes.h b/src/theory/decision_attributes.h
deleted file mode 100644
index 1ea1bb21d..000000000
--- a/src/theory/decision_attributes.h
+++ /dev/null
@@ -1,38 +0,0 @@
-/*********************                                                        */
-/*! \file decision_attributes.h
- ** \verbatim
- ** Original author: Kshitij Bansal
- ** Major contributors: Morgan Deters
- ** 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 Rewriter attributes
- **
- ** Rewriter attributes.
- **/
-
-#include "cvc4_private.h"
-
-#ifndef __CVC4__THEORY__DECISION_ATTRIBUTES
-#define __CVC4__THEORY__DECISION_ATTRIBUTES
-
-#include "expr/attribute.h"
-
-namespace CVC4 {
-namespace decision {
-typedef uint64_t DecisionWeight;
-}
-namespace theory {
-namespace attr {
-  struct DecisionWeightTag {};
-}/* CVC4::theory::attr namespace */
-
-typedef expr::Attribute<attr::DecisionWeightTag, decision::DecisionWeight> DecisionWeightAttr;
-
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
-
-#endif /* __CVC4__THEORY__DECISION_ATTRIBUTES */