diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-09 00:40:01 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-09 00:40:01 +0000 |
| commit | fa01d5e65092ad7a502ff8c76281a45226f6bb62 (patch) | |
| tree | aed33edb6b5abefeb2551c45d544a54902c19010 /lib/SMT/parser.h | |
| parent | f9f8e5339018dfbe71c6f67575effd1455468875 (diff) | |
| download | klee-fa01d5e65092ad7a502ff8c76281a45226f6bb62.tar.gz | |
Remove lang.h, it is unused.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73105 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/SMT/parser.h')
| -rw-r--r-- | lib/SMT/parser.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/SMT/parser.h b/lib/SMT/parser.h index 4e7f05ba..49199eb5 100644 --- a/lib/SMT/parser.h +++ b/lib/SMT/parser.h @@ -29,7 +29,6 @@ #define _cvc3__parser_h_ #include "exception.h" -#include "lang.h" namespace CVC3 { |