Merge branch 'master' of github.com:vscosta/yap-6.3

This commit is contained in:
Vítor Santos Costa 2015-04-19 04:13:39 +01:00
commit e710319c0e
1 changed files with 0 additions and 2 deletions

View File

@ -645,8 +645,6 @@ PredEntry *YAPPredicate::getPred( Term &t, Term* &outp ) {
ts[0] = t;
ts[1] = m;
t = Yap_MkApplTerm(FunctorCsult, 2, ts);
Yap_DebugPlWrite(m);
Yap_DebugPlWrite(t);
}
Functor f = FunctorOfTerm(t);
if (IsExtensionFunctor(f)) {