amalgame/commit
FIXED: do not call node_stats with all params unbound
author | Jacco van Ossenbruggen |
---|---|
Mon Sep 29 16:09:25 2014 +0200 | |
committer | Jacco van Ossenbruggen |
Mon Sep 29 16:09:25 2014 +0200 | |
commit | c0b2138b9f927b402b3971ed44da78c092079a46 |
tree | 6e4395f2fe514d0939c119d10a2a1cdba0656d8d |
parent | 91b4f289e66c4de0fd3368a76c5510e8a09efc5c |
Diff style: patch stat
diff --git a/api/hints.pl b/api/hints.pl index e8ca814..79b00b9 100644 --- a/api/hints.pl +++ b/api/hints.pl @@ -126,13 +126,12 @@ find_hint(Strategy, Context, Hint) :- find_hint(Strategy, Context, Hint) :- option(focus(Focus), Context), Focus == Strategy, - \+ hints_mapping_counts(_,_,_), !, % this is typically the case for a reloaded strategy, when no mappings have been expanded yet. We expand a random endpoint mapping. is_endpoint(Strategy, Mapping), map_nickname(Strategy, Mapping, Nickname), map_localname(Strategy, Mapping, Localname), format(atom(Text), - 'Step 1: analyze. No mappings have been computed to analyze. You can click on a mapping like \'~w.~w\' to compute its results.', + 'Step 1: analyze. You can click on a mapping like \'~w.~w\' to compute its results.', [Nickname, Localname]), Hint = json([event(nodeSelect), data(json([focus(Mapping),