diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-06-08 20:11:22 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-06-08 20:11:22 +0000 |
| commit | f1b4a985be64e08b1a440b1eaf75d3f8e2105d01 (patch) | |
| tree | 334686608277820e1dcfe4da3d07eeaac6eb702b /src/util | |
| parent | dbbca593b8724a03f9cd018a00af4ef7e20dfa8b (diff) | |
minor fixes, for Mac OS
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/node_visitor.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/node_visitor.h b/src/util/node_visitor.h index 245c81224..5e04f820d 100644 --- a/src/util/node_visitor.h +++ b/src/util/node_visitor.h @@ -69,7 +69,7 @@ public: */ static typename Visitor::return_type run(Visitor& visitor, TNode node) { - GuardReentry guard(d_inRun); + GuardReentry guard(bool(d_inRun)); // Notify of a start visitor.start(node); |