From 148a786b694b5cad9035e53f35a349d6274f0291 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 3 Mar 2011 12:28:52 -0800
Subject: Made abc.h independent of CUDD and Extra.

---
 src/base/ver/ver.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/base/ver')

diff --git a/src/base/ver/ver.h b/src/base/ver/ver.h
index ab679664..e421ff95 100644
--- a/src/base/ver/ver.h
+++ b/src/base/ver/ver.h
@@ -28,6 +28,7 @@
 
 #include <stdio.h>
 #include "abc.h"
+#include "extra.h"
 
 ////////////////////////////////////////////////////////////////////////
 ///                         PARAMETERS                               ///
-- 
cgit v1.2.3