amalgame/commit

FIXED: stricter type check in prolog:message list

authorJacco van Ossenbruggen
Tue Mar 7 18:22:39 2023 +0100
committerJacco van Ossenbruggen
Tue Mar 7 18:22:39 2023 +0100
commit6b8553ac3154f6188bfae41bb69be5bbc94f3b69
treef4642f74bc57b43eb63e1f27a8a4940408b900de
parent0d909dfacac68b43aa73e13d53d17667c1f4cd82
Diff style: patch stat
diff --git a/applications/builder.pl b/applications/builder.pl
index 84ec3b6..5be1735 100644
--- a/applications/builder.pl
+++ b/applications/builder.pl
@@ -83,8 +83,9 @@ precalc_voc_stats(Strategy) :-
 	forall(strategy_vocabulary(Strategy, Vocab),
 	       (   node_stats(Strategy, Vocab, Stats, [compute(false)])
 	       ->  option(totalCount(N), Stats),
+		   atom_number(Natom, N),
 		   print_message(informational,
-				 map(found, 'SKOS Concepts for ', Vocab, N))
+				 map(found, 'SKOS Concepts for ', Vocab, Natom))
 	       ;   ( setting(amalgame:precompute, true)
 		   ->  precompute_node(Strategy, Vocab)
 		   ;   true