diff --git a/src/statement.cpp b/src/statement.cpp index b6b6cd2..d5cfd5b 100644 --- a/src/statement.cpp +++ b/src/statement.cpp @@ -180,7 +180,7 @@ namespace riddle else { pred_opt = scp.get_predicate(predicate_name.id); - if (!is_core(scp)) + if (!is_core(pred_opt.value().get().get_scope())) args.emplace("tau", ctx->get("tau")); // we inherit tau from the caller }