diff --git a/core/lib/assertions/assrt_norm_common.pl b/core/lib/assertions/assrt_norm_common.pl index 76b437ea6..fb50f6919 100644 --- a/core/lib/assertions/assrt_norm_common.pl +++ b/core/lib/assertions/assrt_norm_common.pl @@ -431,6 +431,10 @@ get_arg_props(PDA,PDA,D-D,C-C,A-A,G-G,_NPD,_F,_A,_M,_Opts,_AType,_S,_LB,_LE) :- var(PDA), !. +% TODO: ignore modes in test assertions (this is needed for p_unit handling of assertions; but the unittest lib does in a different way; merge!) +get_arg_props(PDA,PDA,D-D,C-C,A-A,G-G,_NPD,_F,_A,_M,_Opts,AType,_S,_LB,_LE) :- + AType = test, + !. %% Argument is a defined (possibly parametric) mode, get_arg_props(PDA,NPDA,NDP,NCP,NAP,NGP,NPD,_F,_A,M,Opts,AType,S,LB,LE) :- with_or_without_arg(PDA,NNPDA,Prop),