Logtalk warning about ground, re issue #908

infradig · infradig · commit 9ac7535665a2 · 2025-10-27T19:57:51.000+10:00
diff --git a/src/unify.c b/src/unify.c
@@ -606,7 +606,7 @@ static bool unify_internal(query *q, cell *p1, pl_ctx p1_ctx, cell *p2, pl_ctx p
 	}
 
 	if ((q->is_cyclic1 || q->is_cyclic2)) {
-		if (depth > 12) {
+		if (depth > 30) {
 			//printf("*** OOPS %s %d\n", __FILE__, __LINE__);
 			q->cycle_error++;
 			return true;

Original file line number	Diff line number	Diff line change
`@@ -606,7 +606,7 @@ static bool unify_internal(query q, cell p1, pl_ctx p1_ctx, cell *p2, pl_ctx p`
`606`	`606`	`}`
`607`	`607`
`608`	`608`	`if ((q->is_cyclic1 \|\| q->is_cyclic2)) {`
`609`		`- if (depth > 12) {`
	`609`	`+ if (depth > 30) {`
`610`	`610`	`//printf("*** OOPS %s %d\n", __FILE__, __LINE__);`
`611`	`611`	`q->cycle_error++;`
`612`	`612`	`return true;`