From b21aad9f82edd1f0241579bf2f1f8cd870eb582b Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 4 Feb 2010 23:59:41 +0000
Subject: minor interface changes to TheoryEngine/Theory after meeting and
 conversation with Tim

---
 src/util/literal.h | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 src/util/literal.h

(limited to 'src/util/literal.h')

diff --git a/src/util/literal.h b/src/util/literal.h
deleted file mode 100644
index 582c8a646..000000000
--- a/src/util/literal.h
+++ /dev/null
@@ -1,26 +0,0 @@
-/*********************                                                        */
-/** literal.h
- ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009, 2010  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.
- **
- ** A literal.
- **/
-
-#ifndef __CVC4__LITERAL_H
-#define __CVC4__LITERAL_H
-
-namespace CVC4 {
-
-class Literal {
-};
-
-}/* CVC4 namespace */
-
-#endif /* __CVC4__LITERAL_H */
-- 
cgit v1.2.3