diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-11-19 20:57:15 -0500 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-11-20 15:37:18 -0500 |
| commit | bd8e9319aab69db90692f72bc52288329879eefc (patch) | |
| tree | 7bfee530c06836827378fd5b9bd1f47bb4f1eea1 /src/expr/expr_template.cpp | |
| parent | f806a8eedf01753116c225b4c1a5e29543fda370 (diff) | |
Changing the number of bits allocated per field in node values.
Diffstat (limited to 'src/expr/expr_template.cpp')
| -rw-r--r-- | src/expr/expr_template.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index 54dc64aa4..085a3a0c8 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -267,7 +267,7 @@ bool Expr::operator>(const Expr& e) const { return *d_node > *e.d_node; } -unsigned Expr::getId() const { +unsigned long Expr::getId() const { ExprManagerScope ems(*this); Assert(d_node != NULL, "Unexpected NULL expression pointer!"); return d_node->getId(); |