From f6926a9642eda965f311f1df01f21dddb78129f9 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 19 Feb 2021 14:36:30 -0700 Subject: [PATCH] remove nl after top-level use_module (#818) --- src/toplevel.pl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/toplevel.pl b/src/toplevel.pl index 36657d59..b46bf49d 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -37,8 +37,7 @@ delegate_task([Arg0|Args], Goals0) :- ; member(Arg0, ["-v", "--version"]) -> print_version ; member(Arg0, ["-g", "--goal"]) -> gather_goal(g, Args, Goals0) ; atom_chars(Mod, Arg0), - catch(use_module(Mod), E, print_exception(E)), - nl + catch(use_module(Mod), E, print_exception(E)) ), delegate_task(Args, Goals0). -- 2.54.0