why was there Minimizer twice?

ModelWriter · Oct 20, 2017 · 44ab265 · 44ab265
1 parent cf40504
commit 44ab265
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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\