Small comment fix

hurufu · hurufu · commit 6de57a2b2067 · 2024-08-01T23:06:42.000+02:00
diff --git a/src/loader.pl b/src/loader.pl
@@ -43,7 +43,7 @@
     call(G__2, H1, H2, L0-L1),
     maplistdif(G__2, T1, T2, L1-LX).
 
-%% arithmetic_expansion(+Type, Term, -ExpandedTerm, -Unifier-Rest).
+%% arithmetic_expansion(+Type, ?Term, -ExpandedTerm, -Unifier-Rest).
 %
 % `ExpandedTerm` is the minimal generalization of `Term` which makes a valid
 % arithmetic relation (`Type = rela`) or functional expression (`Type = func`).

Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,7 @@`
`43`	`43`	`call(G__2, H1, H2, L0-L1),`
`44`	`44`	`maplistdif(G__2, T1, T2, L1-LX).`
`45`	`45`
`46`		`-%% arithmetic_expansion(+Type, Term, -ExpandedTerm, -Unifier-Rest).`
	`46`	`+%% arithmetic_expansion(+Type, ?Term, -ExpandedTerm, -Unifier-Rest).`
`47`	`47`	`%`
`48`	`48`	% `ExpandedTerm` is the minimal generalization of `Term` which makes a valid
`49`	`49`	% arithmetic relation (`Type = rela`) or functional expression (`Type = func`).