Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit be881fef authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

Merge branch 'hotfix/missing_completion'

parents 324b13ee acc1aeed
......@@ -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'
......
......@@ -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],
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment