oops, forgot deref
This commit is contained in:
parent
0d38d67dfa
commit
2702c7e973
@ -1584,7 +1584,7 @@ int Yap_IsGroundTerm(Term t)
|
|||||||
static Int
|
static Int
|
||||||
p_ground(void) /* ground(+T) */
|
p_ground(void) /* ground(+T) */
|
||||||
{
|
{
|
||||||
return Yap_IsGroundTerm(ARG1);
|
return Yap_IsGroundTerm(Deref(ARG1));
|
||||||
}
|
}
|
||||||
|
|
||||||
static int
|
static int
|
||||||
|
Reference in New Issue
Block a user