diff options
Diffstat (limited to 'src/report.cc')
| -rw-r--r-- | src/report.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/report.cc b/src/report.cc index 837a1fb4..b0281c3e 100644 --- a/src/report.cc +++ b/src/report.cc @@ -271,7 +271,7 @@ namespace { value_t operator()(call_scope_t& args) { - if (args.value().size() > 0) { + if (args.size() > 0) { report.HANDLER(limit_).append (args_to_predicate_expr(args.value().as_sequence().begin(), args.value().as_sequence().end())); |