diff --git a/Makefile b/Makefile
index 9fa069477e..d6ebd7aa2e 100644
--- a/Makefile
+++ b/Makefile
@@ -328,7 +328,6 @@ VS_OBJ = Shell/AnswerExtractor.o\
          Shell/InterpolantMinimizerNew.o\
          Shell/Interpolants.o\
          Shell/InterpolantsNew.o\
-         Shell/InterpolantMinimizer.o\
          Shell/InterpretedNormalizer.o\
          Shell/LaTeX.o\
          Shell/LispLexer.o\