From 190929e4ac9e63c81268d2a1e29abff8f637b725 Mon Sep 17 00:00:00 2001 From: bakaq Date: Tue, 1 Oct 2024 21:58:59 -0300 Subject: [PATCH] Remove trailing whitespace in toplevel.pl --- src/toplevel.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/toplevel.pl b/src/toplevel.pl index 2bdc4183..090d2094 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -170,8 +170,8 @@ repl :- %% Enable op declarations with lists of operands, i.e., %% :- op(900, fy, [$,@]). -user:term_expansion((:- op(Pred, Spec, Ops)), OpResults) :- - ground(Ops), +user:term_expansion((:- op(Pred, Spec, Ops)), OpResults) :- + ground(Ops), Ops = [Op | OtherOps], expand_op_list([Op | OtherOps], Pred, Spec, OpResults). @@ -223,7 +223,7 @@ run_query(QueryChars, Callback_3, Options) :- % - `final(exception(Exception))`, where `Exception` is the exception thrown % - `final(true)` % - `final(leaf_answer(Bindings, ResidualGoals, VarNames))`, where: -% +% % - `Bindings` is a list of terms of the form `Var=Term`, where `Var` is a % variable. % - `ResidualGoals` is a list of the residual goals from the query. -- 2.54.0