1 files changed, 20 insertions, 0 deletions
diff --git a/abclib.dsp b/abclib.dsp
index d19dfee7..c4c9e0aa 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -427,6 +427,10 @@ SOURCE=.\src\base\abci\abcRewrite.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcRpo.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcRr.c
 # End Source File
 # Begin Source File
@@ -2311,6 +2315,10 @@ SOURCE=.\src\map\if\ifReduce.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\map\if\ifSelect.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\map\if\ifSeq.c
 # End Source File
 # Begin Source File
@@ -3889,6 +3897,18 @@ SOURCE=.\src\bool\rsb\rsbMan.c
 # Begin Group "rpo"
 
 # PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\bool\rpo\literal.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bool\rpo\rpo.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bool\rpo\rpo.h
+# End Source File
 # End Group
 # End Group
 # Begin Group "prove"