Be more precise in predicate comment

mthom · Jul 18, 2024 · c399d46 · c399d46
1 parent 471ccca
commit c399d46
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/benches/reif.pl b/benches/reif.pl
@@ -47,11 +47,11 @@
     ).
 
 
-%% exptrue(?N).
+%% exptrue(N).
 %
-% Succeeds 10^N times, usefull as a cheap way to repeat a given predicate many
-% times in benchmarks. There are many more ways to generate choice points, but
-% this one by far has the lowest overhead.
+% Succeeds 10^N times if N is ground, usefull as a cheap way to repeat a given
+% predicate many times in benchmarks. There are many more ways to generate
+% choice points, but this one by far has the lowest overhead.
 exptrue(0).
 exptrue(1) :- ten.
 exptrue(2) :- ten, ten.