diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-07-17 08:07:59 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-17 08:07:59 -0400 |
| commit | 53a226a753e509e028c386072c87d94c0a1316be (patch) | |
| tree | c9e99087d040e7e79fa319c80d15f9450fbb75d0 /src/expr/node_self_iterator.h | |
| parent | efac53e969ccefc01bace1a5f095dfd3570c3767 (diff) | |
Use is_sorted, merge, copy from std (#199)
Previously, we were checking whether we should use is_sorted
from std or __gnu_cxx. With C++11, std::is_sorted is
guaranteed to exist. This commit changes
arith/normal_form.{h,cpp} to always use std::is_sorted and
also removes the custom implementations for merge and copy by
using the std implementations instead.
Diffstat (limited to 'src/expr/node_self_iterator.h')
| -rw-r--r-- | src/expr/node_self_iterator.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node_self_iterator.h b/src/expr/node_self_iterator.h index 8cccd9bfe..6d655e1fe 100644 --- a/src/expr/node_self_iterator.h +++ b/src/expr/node_self_iterator.h @@ -27,7 +27,7 @@ namespace CVC4 { namespace expr { -class NodeSelfIterator : std::iterator<std::input_iterator_tag, Node> { +class NodeSelfIterator : public std::iterator<std::input_iterator_tag, Node> { Node d_node; Node::const_iterator d_child; |