cudd.h

2016-05-14 11:29:15 +01:00 · 2016-05-14 11:29:15 +01:00 · eadfef6c3f
commit eadfef6c3f
parent 3b8325bd41
1 changed files with 1 additions and 0 deletions
--- a/packages/cplint/cplint.h
+++ b/packages/cplint/cplint.h
@ -7,6 +7,7 @@ This package uses the library cudd, see http://vlsi.colorado.edu/~fabio/CUDD/
 for the relative license.

 */
+#include <stdio.h>
 #include "config.h"
 #include "cudd_config.h"
 #if HAVE_CUDD_CUDDINT_H