We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents ea5f8cc + 528f442 commit f20cf9fCopy full SHA for f20cf9f
src/goto-programs/Makefile
@@ -16,7 +16,7 @@ SRC = goto_convert.cpp goto_convert_function_call.cpp \
16
remove_returns.cpp osx_fat_reader.cpp remove_complex.cpp \
17
goto_trace.cpp xml_goto_trace.cpp vcd_goto_trace.cpp \
18
graphml_goto_trace.cpp remove_virtual_functions.cpp \
19
- class_hierarchy.cpp
+ class_hierarchy.cpp show_goto_functions.cpp
20
21
INCLUDES= -I ..
22
0 commit comments