diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-05-18 20:20:58 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-05-18 20:20:58 +0000 |
| commit | 3b93d45dab9513195d5604a069423ed13e173f49 (patch) | |
| tree | 96497114c06755a14efe0d30c680703c9aa5380b /src/expr/node_manager.h | |
| parent | 76b8bdc51693af0867de94fe6002e8a8bec9e5f9 (diff) | |
This commit removes the dead psuedoboolean code.
Diffstat (limited to 'src/expr/node_manager.h')
| -rw-r--r-- | src/expr/node_manager.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 593f3f715..2bcf5e18c 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -890,11 +890,6 @@ inline TypeNode NodeManager::realType() { return TypeNode(mkTypeConst<TypeConstant>(REAL_TYPE)); } -/** Get the (singleton) type for pseudobooleans. */ -inline TypeNode NodeManager::pseudobooleanType() { - return TypeNode(mkTypeConst<TypeConstant>(PSEUDOBOOLEAN_TYPE)); -} - /** Get the (singleton) type for strings. */ inline TypeNode NodeManager::stringType() { return TypeNode(mkTypeConst<TypeConstant>(STRING_TYPE)); |