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
15 years ago · 94cc80b19e
1 changed files with 1 additions and 1 deletions
--- 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