remove deb output

2015-01-16 20:42:25 -08:00 · 2015-01-16 20:42:25 -08:00 · f835ff153d
parent 7a8f57eb63
commit f835ff153d
1 changed files with 0 additions and 1 deletions
--- a/library/dialect/swi/fli/swi.c
+++ b/library/dialect/swi/fli/swi.c
@ -2529,7 +2529,6 @@ X_API void PL_register_foreign_in_module(const char *module, const char *name, i
  if (flags & PL_FA_NONDETERMINISTIC) {
    Yap_InitCPredBackCut((char *)name, arity, sizeof(struct foreign_context)/sizeof(CELL), (CPredicate)function, (CPredicate)function, (CPredicate)function, UserCPredFlag|nflags);
  } else {
-    printf(" %s %llx\n", name, nflags);
    UserCPredicate((char *)name,(CPredicate)function,arity,tmod,nflags);
  }
 }