missing commands with variable arity in commands.py

acc1aeed · SOLIMAN Sylvain · 324b13ee · acc1aeed · acc1aeed
Commit acc1aeed authored Mar 06, 2018 by SOLIMAN Sylvain
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

about.pl about.pl +1 -1

commandline.pl commandline.pl +2 -1

No files found.
--- a/about.pl
+++ b/about.pl
@@ -8,7 +8,7 @@
    about/0
  ]).

-version('4.1.3').
+version('4.1.4').

 copyright(
  'Copyright (C) 2003-2018 Inria, EPI Lifeware, Saclay-Île de France, France'

--- a/commandline.pl
+++ b/commandline.pl
@@ -103,7 +103,8 @@ option('', '--list-commands', [], []) :-
  forall(
    (
      current_functor(Functor, Arity),
-      predicate_info(Functor/Arity, _ArgumentTypes, _, yes, _)
+      predicate_info(Functor/Arity, _ArgumentTypes, _, BiochamCommand, _),
+      member(BiochamCommand, [yes, variantargs])
    ),
    (
      % Pred =.. [Functor | ArgumentTypes],