diff --git a/C/utilpreds.c b/C/utilpreds.c index e17b0b333..32e92df19 100644 --- a/C/utilpreds.c +++ b/C/utilpreds.c @@ -1584,7 +1584,7 @@ int Yap_IsGroundTerm(Term t) static Int p_ground(void) /* ground(+T) */ { - return Yap_IsGroundTerm(ARG1); + return Yap_IsGroundTerm(Deref(ARG1)); } static int