From 11d02159634ea253c5f1f62a402b2367f50db92a Mon Sep 17 00:00:00 2001 From: "J.J. Tolton" Date: Fri, 14 Nov 2025 10:55:49 -0500 Subject: [PATCH] Fix -t flag help text to reflect it accepts any goal MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit The -t flag is not limited to arity 0 predicates - it accepts any goal including goals with arguments (e.g., -t 'halt(1)'). Updated the help text to remove the incorrect "(arity 0 predicate)" constraint. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude --- src/toplevel.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/toplevel.pl b/src/toplevel.pl index 5b27832b..ce0190c7 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -110,7 +110,7 @@ print_help :- write(' -g, --goal GOAL '), write('Run the query GOAL'), nl, write(' -t GOAL '), - write('Use GOAL as custom toplevel (arity 0 predicate)'), nl, + write('Use GOAL as custom toplevel'), nl, write(' -f '), write('Fast startup. Do not load initialization file (~/.scryerrc)'), nl, write(' --no-add-history '), -- 2.54.0