From 7ee83e31bafd3592c65046efcd66b46575da8dcd Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 8 Jun 2016 11:55:34 +0000
Subject: [PATCH] DebugJDD: update (generated) DebugJDD.h with the information
 about light-weight nodes

This was missing in previous commits.


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11396 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/include/DebugJDD.h | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/prism/include/DebugJDD.h b/prism/include/DebugJDD.h
index bc9f4b0e..47c56198 100644
--- a/prism/include/DebugJDD.h
+++ b/prism/include/DebugJDD.h
@@ -23,6 +23,17 @@ JNIEXPORT jint JNICALL Java_jdd_DebugJDD_DebugJDD_1GetRefCount
 JNIEXPORT jlongArray JNICALL Java_jdd_DebugJDD_DebugJDD_1GetExternalRefCounts
   (JNIEnv *, jclass);
 
+#ifdef __cplusplus
+}
+#endif
+#endif
+/* Header for class jdd_DebugJDD_DebugJDDNodeLight */
+
+#ifndef _Included_jdd_DebugJDD_DebugJDDNodeLight
+#define _Included_jdd_DebugJDD_DebugJDDNodeLight
+#ifdef __cplusplus
+extern "C" {
+#endif
 #ifdef __cplusplus
 }
 #endif