From 144eb6ab479963af7ba97084868d95678988b6f1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Fri, 19 Jun 2015 00:31:44 +0100
Subject: [PATCH] small interf change

---
 C/heapgc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/heapgc.c b/C/heapgc.c
index 997dcc836..5b1a3228d 100644
--- a/C/heapgc.c
+++ b/C/heapgc.c
@@ -2020,7 +2020,7 @@ mark_choicepoints(register choiceptr gc_B, tr_fr_ptr saved_TR, int very_verbose
     }
 #endif /* TABLING */
     if (very_verbose) {
-      PredEntry *pe = Yap_PredForChoicePt(gc_B);
+      PredEntry *pe = Yap_PredForChoicePt(gc_B, NULL);
 #if defined(ANALYST) || DEBUG
       if (pe == NULL) {
 	fprintf(stderr,"%%       marked  " UInt_FORMAT " (%s)\n", LOCAL_total_marked, Yap_op_names[opnum]);