diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

generate type error on second arg to term variables/2 (UN 198)

Browse Source
This commit is contained in:
Vítor Santos Costa 2012-03-18 00:07:06 +00:00
parent 06242879c0
commit 5c6c034ec9
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
C/utilpreds.c
View File

@ -1955,6 +1955,11 @@ p_term_variables( USES_REGS1 ) /* variables in term t */
{ {
Term out; Term out;
if (!Yap_IsListOrPartialListTerm(ARG2)) {
Yap_Error(TYPE_ERROR_LIST,ARG2,"term_variables/2");
return FALSE;
}
do { do {
Term t = Deref(ARG1); Term t = Deref(ARG1);
if (IsVarTerm(t)) { if (IsVarTerm(t)) {