From: Mark Thom Date: Fri, 19 Feb 2021 21:36:30 +0000 (-0700) Subject: remove nl after top-level use_module (#818) X-Git-Tag: v0.9.0~150^2~33 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f6926a9642eda965f311f1df01f21dddb78129f9;p=scryer-prolog.git remove nl after top-level use_module (#818) --- 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).