From 83e6c291b0048463a59fe5868e819b4abf79438e Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 2 Aug 2017 11:34:45 +0000
Subject: [PATCH] (native) switch includes from .h to C++ header wrappers

Consistently include cstdio instead of stdio.h, etc. For MinGW,
the default underlying stdio implementation (Microsoft DLL based vs
POSIX MinGW implementation) differs between C++ and C code, so
format string warnings pop up if we include the C header...


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12192 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/dd/dd.cc              | 2 +-
 prism/src/dd/dd_basics.cc       | 4 ++--
 prism/src/dd/dd_export.cc       | 4 ++--
 prism/src/dd/dd_matrix.cc       | 4 ++--
 prism/src/dd/dd_test.cc         | 2 +-
 prism/src/hybrid/PrismHybrid.cc | 6 +++---
 prism/src/jdd/JDD.cc            | 2 +-
 prism/src/mtbdd/PrismMTBDD.cc   | 4 ++--
 prism/src/prism/PrismNative.cc  | 6 +++---
 prism/src/prism/prism.cc        | 2 +-
 prism/src/sparse/PrismSparse.cc | 6 +++---
 11 files changed, 21 insertions(+), 21 deletions(-)

diff --git a/prism/src/dd/dd.cc b/prism/src/dd/dd.cc
index 5ea89e39..9cf2605b 100644
--- a/prism/src/dd/dd.cc
+++ b/prism/src/dd/dd.cc
@@ -25,7 +25,7 @@
 //	
 //==============================================================================
 
-#include <stdio.h>
+#include <cstdio>
 
 // output stream for anything printed by the dd package
 // (stdout by default)
diff --git a/prism/src/dd/dd_basics.cc b/prism/src/dd/dd_basics.cc
index da0e9fdc..e02501c1 100644
--- a/prism/src/dd/dd_basics.cc
+++ b/prism/src/dd/dd_basics.cc
@@ -25,8 +25,8 @@
 //	
 //==============================================================================
 
-#include <stdio.h>
-#include <stdlib.h>
+#include <cstdio>
+#include <cstdlib>
 #include <util.h>
 #include <cudd.h>
 #include "dd_basics.h"
diff --git a/prism/src/dd/dd_export.cc b/prism/src/dd/dd_export.cc
index 3980bd7a..2557996b 100644
--- a/prism/src/dd/dd_export.cc
+++ b/prism/src/dd/dd_export.cc
@@ -26,8 +26,8 @@
 //	
 //==============================================================================
 
-#include <stdio.h>
-#include <stdlib.h>
+#include <cstdio>
+#include <cstdlib>
 #include <cmath>
 #include <cinttypes>
 #include <util.h>
diff --git a/prism/src/dd/dd_matrix.cc b/prism/src/dd/dd_matrix.cc
index 0f06152e..65ef880c 100644
--- a/prism/src/dd/dd_matrix.cc
+++ b/prism/src/dd/dd_matrix.cc
@@ -25,8 +25,8 @@
 //	
 //==============================================================================
 
-#include <stdio.h>
-#include <stdlib.h>
+#include <cstdio>
+#include <cstdlib>
 #include <cmath>
 #include <util.h>
 #include <limits>  // for NaN value
diff --git a/prism/src/dd/dd_test.cc b/prism/src/dd/dd_test.cc
index 9386ddd0..7d51a990 100644
--- a/prism/src/dd/dd_test.cc
+++ b/prism/src/dd/dd_test.cc
@@ -25,7 +25,7 @@
 //	
 //==============================================================================
 
-#include <stdio.h>
+#include <cstdio>
 
 #include <util.h>
 #include <cudd.h>
diff --git a/prism/src/hybrid/PrismHybrid.cc b/prism/src/hybrid/PrismHybrid.cc
index ded3eb2b..0b2b0871 100644
--- a/prism/src/hybrid/PrismHybrid.cc
+++ b/prism/src/hybrid/PrismHybrid.cc
@@ -25,9 +25,9 @@
 //==============================================================================
 
 #include "PrismHybrid.h"
-#include <stdio.h>
-#include <stdarg.h>
-#include <limits.h>
+#include <cstdio>
+#include <cstdarg>
+#include <limits>
 #include <util.h>
 #include <cudd.h>
 #include <dd.h>
diff --git a/prism/src/jdd/JDD.cc b/prism/src/jdd/JDD.cc
index fc13136d..ea3d8a81 100644
--- a/prism/src/jdd/JDD.cc
+++ b/prism/src/jdd/JDD.cc
@@ -30,7 +30,7 @@
 #include "JDDVars.h"
 #include "jnipointer.h"
 
-#include <stdio.h>
+#include <cstdio>
 #include <util.h>
 #include <cudd.h>
 #include <dd.h>
diff --git a/prism/src/mtbdd/PrismMTBDD.cc b/prism/src/mtbdd/PrismMTBDD.cc
index 5a7ec1a8..6ae7aec1 100644
--- a/prism/src/mtbdd/PrismMTBDD.cc
+++ b/prism/src/mtbdd/PrismMTBDD.cc
@@ -25,8 +25,8 @@
 //==============================================================================
 
 #include "PrismMTBDD.h"
-#include <stdio.h>
-#include <stdarg.h>
+#include <cstdio>
+#include <cstdarg>
 #include <cmath>
 #include <limits.h>
 #include <util.h>
diff --git a/prism/src/prism/PrismNative.cc b/prism/src/prism/PrismNative.cc
index ba4cb28b..355b7d38 100644
--- a/prism/src/prism/PrismNative.cc
+++ b/prism/src/prism/PrismNative.cc
@@ -25,9 +25,9 @@
 //==============================================================================
 
 #include "PrismNative.h"
-#include <stdio.h>
-#include <string.h>
-#include <limits.h>
+#include <cstdio>
+#include <cstring>
+#include <limits>
 #include <locale.h>
 #include <unistd.h>
 #include "PrismNativeGlob.h"
diff --git a/prism/src/prism/prism.cc b/prism/src/prism/prism.cc
index 99956d16..61504cae 100644
--- a/prism/src/prism/prism.cc
+++ b/prism/src/prism/prism.cc
@@ -27,7 +27,7 @@
 
 // includes
 #include "prism.h"
-#include <stdio.h>
+#include <cstdio>
 #include <cmath>
 #include <new>
 #include <vector>
diff --git a/prism/src/sparse/PrismSparse.cc b/prism/src/sparse/PrismSparse.cc
index f7dfe139..219c1685 100644
--- a/prism/src/sparse/PrismSparse.cc
+++ b/prism/src/sparse/PrismSparse.cc
@@ -26,9 +26,9 @@
 
 #include "PrismSparse.h"
 #include "NDSparseMatrix.h"
-#include <stdio.h>
-#include <stdarg.h>
-#include <limits.h>
+#include <cstdio>
+#include <cstdarg>
+#include <climits>
 #include <util.h>
 #include <cudd.h>
 #include <dd.h>