From ddfed40e0022dc5b32b1c7cc97fbb28856df5c1e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 5 Nov 2015 15:24:27 +0000
Subject: [PATCH] protect pointer

---
 C/computils.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/C/computils.c b/C/computils.c
index ed401e335..82b4e1189 100644
--- a/C/computils.c
+++ b/C/computils.c
@@ -640,8 +640,10 @@ ShowOp (compiler_vm_op ic, const char *f, struct PSEUDO *cpc)
 	  case 'v':
 	    {
 	      Ventry *v = (Ventry *) arg;
-	      Yap_DebugErrorPutc (v->KindOfVE == PermVar ? 'Y' : 'X');
-	      Yap_DebugPlWrite (MkIntTerm ((v->NoOfVE) & MaskVarAdrs));
+          if (v) {
+            Yap_DebugErrorPutc (v->KindOfVE == PermVar ? 'Y' : 'X');
+            Yap_DebugPlWrite (MkIntTerm ((v->NoOfVE) & MaskVarAdrs));
+          }
 	    }
 	    break;	
 	  case 'N':