From 528f4423f10d7a2d28b7afe761a76e6bd23c03a6 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <mt@debian.org>
Date: Fri, 17 Jun 2016 20:48:48 +0100
Subject: [PATCH] Compile recently added show_goto_functions.cpp

---
 src/goto-programs/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/goto-programs/Makefile b/src/goto-programs/Makefile
index ab0735a1a2b..8b6531fe306 100644
--- a/src/goto-programs/Makefile
+++ b/src/goto-programs/Makefile
@@ -16,7 +16,7 @@ SRC = goto_convert.cpp goto_convert_function_call.cpp \
       remove_returns.cpp osx_fat_reader.cpp remove_complex.cpp \
       goto_trace.cpp xml_goto_trace.cpp vcd_goto_trace.cpp \
       graphml_goto_trace.cpp remove_virtual_functions.cpp \
-      class_hierarchy.cpp
+      class_hierarchy.cpp show_goto_functions.cpp
 
 INCLUDES= -I ..