1 files changed, 44 insertions, 0 deletions
diff --git a/abclib.dsp b/abclib.dsp
index d339a81f..d85b17ae 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -323,6 +323,10 @@ SOURCE=.\src\base\abci\abcMv.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcNpnSave.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcNtbdd.c
 # End Source File
 # Begin Source File
@@ -4038,6 +4042,46 @@ SOURCE=.\src\aig\llb\llbSched.c
 
 # PROP Default_Filter ""
 # End Group
+# Begin Group "pdr"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdr.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdr.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrClass.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrSat.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrTsim.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrUtil.c
+# End Source File
+# End Group
 # End Group
 # End Group
 # Begin Group "Header Files"