From 6175fcb8026bae3db5b4280b655131322d7944da Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 7 May 2008 08:01:00 -0700
Subject: Version abc80507

---
 src/misc/extra/extraBddMisc.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/misc/extra/extraBddMisc.c')

diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c
index 023a9841..5ebedaba 100644
--- a/src/misc/extra/extraBddMisc.c
+++ b/src/misc/extra/extraBddMisc.c
@@ -281,6 +281,7 @@ void Extra_bddPrint( DdManager * dd, DdNode * F )
 
 //  printf("\n");
 }
+
 /**Function********************************************************************
 
   Synopsis    [Returns the size of the support.]
-- 
cgit v1.2.3