diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-12-03 14:59:30 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-12-03 14:59:30 +0000 |
| commit | 7fb54afe126e5045fc6c5553c1aff3c3f73509aa (patch) | |
| tree | 37f4f23af0eccd6c9615a5af9b2d219e305d1f78 /src/expr/expr_value.cpp | |
| parent | bde1a14afc211c8f0f0521bb91feb562eaa9f9ea (diff) | |
parsing/expr/command/result/various other fixes
Diffstat (limited to 'src/expr/expr_value.cpp')
| -rw-r--r-- | src/expr/expr_value.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/expr/expr_value.cpp b/src/expr/expr_value.cpp index fa5628e26..e24bb88b1 100644 --- a/src/expr/expr_value.cpp +++ b/src/expr/expr_value.cpp @@ -18,6 +18,8 @@ namespace CVC4 { +size_t ExprValue::next_id = 0; + uint64_t ExprValue::hash() const { uint64_t hash = d_kind; |