don't crash strip_module

This commit is contained in:
Vitor Santos Costa 2014-02-09 18:07:17 +00:00
parent e0642dbaa3
commit a012017635

View File

@ -299,15 +299,11 @@ Yap_StripModule(Term t, Term *modp)
} }
} }
restart: restart:
if (IsVarTerm(t)) { if (IsVarTerm(t) || !IsApplTerm(t)) {
if (modp) if (modp)
*modp = tmod; *modp = tmod;
return t; return t;
} else if (IsAtomTerm(t) || IsPairTerm(t)) { } else {
if (modp)
*modp = tmod;
return t;
} else if (IsApplTerm(t)) {
Functor fun = FunctorOfTerm(t); Functor fun = FunctorOfTerm(t);
if (fun == FunctorModule) { if (fun == FunctorModule) {
Term t1 = ArgOfTerm(1, t); Term t1 = ArgOfTerm(1, t);