Link with goto-checker

Signed-off-by: František Nečas <[email protected]>

Author: FrNecas

src/2ls/Makefile

@@ -27,6 +27,7 @@ OBJ+= $(CPROVER_DIR)/src/ansi-c/ansi-c$(LIBEXT) \
       $(CPROVER_DIR)/src/util/util$(LIBEXT) \
       $(CPROVER_DIR)/src/goto-instrument/unwind$(OBJEXT) \
       $(CPROVER_DIR)/src/goto-instrument/unwindset$(OBJEXT) \
+	  $(CPROVER_DIR)/src/goto-checker/goto-checker$(LIBEXT) \
       ../domains/domains$(LIBEXT) \
       ../ssa/ssa$(LIBEXT) \
       ../solver/solver$(LIBEXT) \