amalgame/commit

FIXED: do not call node_stats with all params unbound

authorJacco van Ossenbruggen
Mon Sep 29 16:09:25 2014 +0200
committerJacco van Ossenbruggen
Mon Sep 29 16:09:25 2014 +0200
commitc0b2138b9f927b402b3971ed44da78c092079a46
tree6e4395f2fe514d0939c119d10a2a1cdba0656d8d
parent91b4f289e66c4de0fd3368a76c5510e8a09efc5c
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),