From 77d64787e07638ac9e44ee892e4d4db5b52686e1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 24 Aug 2015 19:49:18 -0700
Subject: Changes to be able to compile ABC without CUDD.

---
 src/base/wlc/wlcNtk.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/base/wlc')

diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c
index ee413727..f1062112 100644
--- a/src/base/wlc/wlcNtk.c
+++ b/src/base/wlc/wlcNtk.c
@@ -18,6 +18,7 @@
 
 ***********************************************************************/
 
+#include <math.h>
 #include "wlc.h"
 #include "misc/vec/vecWec.h"
 
-- 
cgit v1.2.3