Skip to content

Commit 016df05

Browse files
committed
Remove unneeded call/1 in benchmark
1 parent 24b3527 commit 016df05

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

benches/reif.pl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -40,8 +40,8 @@
4040
% Copy of _if/3, but with a different name, so it won't be expanded
4141
fif_(If_1, Then_0, Else_0) :-
4242
call(If_1, T),
43-
( T == true -> call(Then_0)
44-
; T == false -> call(Else_0)
43+
( T == true -> Then_0
44+
; T == false -> Else_0
4545
; nonvar(T) -> throw(error(type_error(boolean, T), _))
4646
; throw(error(instantiation_error, _))
4747
).

0 commit comments

Comments
 (0)