diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-01-26 07:29:41 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-01-26 07:29:41 +0000 |
commit | 21e01d42ed4c0b6d9fa5855c2e0cfc1a3765d14f (patch) | |
tree | ec785ced868a294e72cc751a293c618488743c8b /src/expr/node_value.h | |
parent | f2d38a8522579f9b3e434f76a9426fa8d2f06d07 (diff) |
fixes to build structure, util classes, lots of fixes to Node and NodeBuilder. outstanding SEGVs fixed
Diffstat (limited to 'src/expr/node_value.h')
-rw-r--r-- | src/expr/node_value.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node_value.h b/src/expr/node_value.h index 954fe0aaa..985ad15a7 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -177,7 +177,7 @@ namespace CVC4 { namespace expr { inline Node NodeValue::node_iterator::operator*() { - return Node((NodeValue*) d_i); + return Node(*d_i); } }/* CVC4::expr namespace */ |