1 files changed, 2 insertions, 1 deletions
diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj
index 39da0be6..780e4891 100644
--- a/Source/VCGeneration/VCGeneration.csproj
+++ b/Source/VCGeneration/VCGeneration.csproj
@@ -155,6 +155,7 @@
     <Compile Include="GraphAlgorithms.cs" />
     <Compile Include="HasseDiagram.cs" />
     <Compile Include="OrderingAxioms.cs" />
+    <Compile Include="SmartBlockPredicator.cs" />
     <Compile Include="StratifiedVC.cs" />
     <Compile Include="VC.cs" />
     <Compile Include="VCDoomed.cs" />
@@ -223,4 +224,4 @@
   <Target Name="AfterBuild">
   </Target>
   -->
-</Project>
-\ No newline at end of file
+</Project>