From 3b44ed066021f1f9545604f805bd08aa697af7f4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Fri, 2 Nov 2012 22:35:51 +0000 Subject: [PATCH] fix warning --- C/cdmgr.c | 1 - 1 file changed, 1 deletion(-) diff --git a/C/cdmgr.c b/C/cdmgr.c index b6d0b6afe..aa4816431 100644 --- a/C/cdmgr.c +++ b/C/cdmgr.c @@ -4378,7 +4378,6 @@ p_hide_predicate( USES_REGS1 ) Term t1 = Deref(ARG1); Term mod = Deref(ARG2); - Prop p0; restart_system_pred: if (IsVarTerm(t1))