From: bakaq <bakaq@bakaq.net>
Date: Wed, 2 Oct 2024 00:58:59 +0000 (-0300)
Subject: Remove trailing whitespace in toplevel.pl
X-Git-Tag: v0.10.0~108^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=190929e4ac9e63c81268d2a1e29abff8f637b725;p=scryer-prolog.git

Remove trailing whitespace in toplevel.pl
---

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.