display_disjuncts(): Use the returned value of eliminate_duplicate_di…

…sjuncts()
opencog · May 2, 2024 · 0a030cb · 0a030cb
1 parent 4d96703
commit 0a030cb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/link-grammar/dict-common/print-dict.c b/link-grammar/dict-common/print-dict.c
@@ -823,7 +823,7 @@ static char *display_disjuncts(Dictionary dict, const Dict_node *dn,
 
 		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))
 		{