diff --git a/abclib.dsp b/abclib.dsp
index d7c19e48c..f8c2a28cb 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -1947,6 +1947,10 @@ SOURCE=.\src\sat\bmc\bmcBmci.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\sat\bmc\bmcBmcS.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\sat\bmc\bmcCexCare.c
 # End Source File
 # Begin Source File
diff --git a/src/sat/bmc/module.make b/src/sat/bmc/module.make
index c865a939b..309708779 100644
--- a/src/sat/bmc/module.make
+++ b/src/sat/bmc/module.make
@@ -4,6 +4,7 @@ SRC +=    src/sat/bmc/bmcBCore.c \
     src/sat/bmc/bmcBmc3.c \
     src/sat/bmc/bmcBmcAnd.c \
     src/sat/bmc/bmcBmci.c \
+    src/sat/bmc/bmcBmcS.c \
     src/sat/bmc/bmcCexCare.c \
     src/sat/bmc/bmcCexCut.c \
     src/sat/bmc/bmcCexDepth.c \