amalgame/commit
FIXED: wrong order of arguments when calling expand_node in ag_stats:node_counts
author | Jacco van Ossenbruggen |
---|---|
Tue Oct 18 18:30:23 2016 +0200 | |
committer | Jacco van Ossenbruggen |
Tue Oct 18 18:30:23 2016 +0200 | |
commit | aef09c6e5acb5aaf13c52e38b828fefeea3d826c |
tree | 35eaca04aad10c195d359d74e61d3d8cab97a4bc |
parent | 1fbcb2efa4585d79334893ec059c1ee43b26a1f9 |
Diff style: patch stat
diff --git a/lib/amalgame/ag_stats.pl b/lib/amalgame/ag_stats.pl index 1c0dce6..dd1fea0 100644 --- a/lib/amalgame/ag_stats.pl +++ b/lib/amalgame/ag_stats.pl @@ -54,7 +54,7 @@ node_counts(scheme, Scheme, Strategy, Stats, Options) :- select_option(compute(Level), Options, Options1, true), ( Level == depth; Level == labelprop), !, - expand_node(Scheme, Strategy, _), + expand_node(Strategy, Scheme, _), atomic_list_concat([Level, '_stats_cache_',Scheme], Mutex), debug(mutex, 'waiting for deep stats mutex ~w', [Mutex]), with_mutex(Mutex, node_counts(scheme, Scheme, Strategy, Stats, Options1)).