don't try to unify results for matching clause if we

can't find it.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@586 b08c6af1-5177-4d33-ba66-4b1c6b8b522a

C/cdmgr.c

@@ -2154,6 +2154,7 @@ p_pred_for_code(void) {
   Int cl;
 
   cl = PredForCode(codeptr, &at, &arity, &module);
+  if (cl == 0) return(unify(ARG5,MkIntegerTerm(cl)));
   return(unify(ARG2,MkAtomTerm(at)) &&
 	 unify(ARG3,MkIntegerTerm(arity)) &&
 	 unify(ARG4,ModuleName[module]) &&

C/tracer.c

@@ -113,9 +113,9 @@ low_level_trace(yap_low_level_port port, PredEntry *pred, CELL *args)
 
   vsc_count++;
   /*  if (vsc_count < 123808900) return; */
-  if (vsc_count == 59) {
+  /* if (vsc_count == 59) {
     printf("Here I go\n");
-  }
+    } */
   /* if (vsc_count > 500000) exit(0); */
   /* if (gc_calls < 1) return;*/
 #if defined(__GNUC__)