Ticket #12818: Cudd.cudd.cudd.h

File Cudd.cudd.cudd.h, 306 bytes (added by stephen, 9 years ago)

patch for cudd.h

Line 
1--- src/polybori-0.8.0/Cudd/cudd/cudd.h-orig    2012-02-09 03:18:02.000000000 +0000
2+++ src/polybori-0.8.0/Cudd/cudd/cudd.h 2012-02-09 03:19:20.000000000 +0000
3@@ -82,6 +82,12 @@
4 
5 #endif
6 
7+#ifdef __cplusplus
8+#include <cstdio>
9+#else
10+#include <stdio.h>
11+#endif
12+
13 #ifdef __cplusplus
14 extern "C" {
15 #endif