From 94cc80b19e24a7019de1798f584b1163bfa700bb Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 19 Oct 2011 21:05:22 +0000 Subject: [PATCH] Missing committed file from earlier JDD-debug functionality. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4080 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/include/DebugJDD.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/include/DebugJDD.h b/prism/include/DebugJDD.h index cae8dfad..10ea4b96 100644 --- a/prism/include/DebugJDD.h +++ b/prism/include/DebugJDD.h @@ -8,7 +8,7 @@ extern "C" { #endif #undef jdd_DebugJDD_debugEnabled -#define jdd_DebugJDD_debugEnabled 1L +#define jdd_DebugJDD_debugEnabled 0L /* * Class: jdd_DebugJDD * Method: DebugJDD_GetRefCount