From eadfef6c3fdd8cf214ca6d3a09ccbdf8bac50ab1 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sat, 14 May 2016 11:29:15 +0100
Subject: [PATCH] cudd.h

---
 packages/cplint/cplint.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/cplint/cplint.h b/packages/cplint/cplint.h
index 08827999f..500793da5 100644
--- 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