From 579816a04fc0d06f441d731b2491de2ebaa381e1 Mon Sep 17 00:00:00 2001 From: Nicolas Luck Date: Mon, 7 Aug 2023 18:29:05 +0200 Subject: [PATCH] Use new `double_quotes` write-option --- src/lib_toplevel.pl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/lib_toplevel.pl b/src/lib_toplevel.pl index eedaa828..1fb287c0 100644 --- a/src/lib_toplevel.pl +++ b/src/lib_toplevel.pl @@ -60,9 +60,9 @@ write_goal(G, VarList, MaxDepth) :- write(' = '), ( needs_bracketing(Value, (=)) -> write('('), - write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth)]), + write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth), double_quotes(true)]), write(')') - ; write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth)]) + ; write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth), double_quotes(true)]) ) ; G == [] -> write('true') @@ -80,9 +80,9 @@ write_last_goal(G, VarList, MaxDepth) :- write(' = '), ( needs_bracketing(Value, (=)) -> write('('), - write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth)]), + write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth), double_quotes(true)]), write(')') - ; write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth)]), + ; write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth), double_quotes(true)]), ( trailing_period_is_ambiguous(Value) -> write(' ') ; true -- 2.54.0