From 8b24f6bff92d93c3a4def93b8872105c861d1285 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 18 May 2008 08:01:00 -0700
Subject: Version abc80518

---
 abc.dsp | 40 ++++++++++++++++++++--------------------
 1 file changed, 20 insertions(+), 20 deletions(-)

(limited to 'abc.dsp')

diff --git a/abc.dsp b/abc.dsp
index ac1ef5f9..2831bf81 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -3245,6 +3245,26 @@ SOURCE=.\src\aig\mfx\mfxStrash.c
 SOURCE=.\src\aig\mfx\mfxWin.c
 # End Source File
 # End Group
+# Begin Group "bbr"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\bbr\bbr.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\bbr\bbrImage.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\bbr\bbrNtbdd.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\bbr\bbrReach.c
+# End Source File
+# End Group
 # Begin Group "saig"
 
 # PROP Default_Filter ""
@@ -3297,26 +3317,6 @@ SOURCE=.\src\aig\saig\saigScl.c
 SOURCE=.\src\aig\saig\saigTrans.c
 # End Source File
 # End Group
-# Begin Group "bbr"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\aig\bbr\bbr.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\bbr\bbrImage.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\bbr\bbrNtbdd.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\bbr\bbrReach.c
-# End Source File
-# End Group
 # End Group
 # End Group
 # Begin Group "Header Files"
-- 
cgit v1.2.3