From 44ab265a2b7dcbf9033e1bcbb76ee4d4fa830992 Mon Sep 17 00:00:00 2001
From: Martin Suda <sudam@cs.man.ac.uk>
Date: Fri, 20 Oct 2017 17:57:04 +0200
Subject: [PATCH] why was there Minimizer twice?

---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

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\