display_disjuncts(): Use the returned value of eliminate_duplicate_di…

…sjuncts()
opencog · May 3, 2024 · a9f081c · a9f081c
1 parent dc8fb5b
commit a9f081c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/link-grammar/dict-common/print-dict.c b/link-grammar/dict-common/print-dict.c
@@ -822,8 +822,7 @@ static char *display_disjuncts(Dictionary dict, const Dict_node *dn,
 		                                      max_cost, NULL);
 
 		unsigned int dnum0 = count_disjuncts(d);
-		eliminate_duplicate_disjuncts(d, false);
-		unsigned int dnum1 = count_disjuncts(d);
+		unsigned int dnum1 = dnum0 - eliminate_duplicate_disjuncts(d, false);
 
 		if ((flags != NULL) && (strchr(flags, 'm') != NULL))
 		{