1 files changed, 32 insertions, 0 deletions
diff --git a/abclib.dsp b/abclib.dsp
index 6c2d3ee6..16d2d3a1 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -2046,6 +2046,38 @@ SOURCE=.\src\opt\dau\dauMerge.c
 SOURCE=.\src\opt\dau\dauTree.c
 # End Source File
 # End Group
+# Begin Group "sfm"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\sfm\sfm.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sfm\sfmCnf.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sfm\sfmCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sfm\sfmInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sfm\sfmMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sfm\sfmNtk.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sfm\sfmSat.c
+# End Source File
+# End Group
 # End Group
 # Begin Group "map"