Add missing goto-statistics file to Makefile

smowton · smowton · commit 6b1a49d1020e · 2017-10-20T17:52:37.000+01:00
diff --git a/src/goto-programs/Makefile b/src/goto-programs/Makefile
@@ -21,6 +21,7 @@ SRC = basic_blocks.cpp \
       goto_program.cpp \
       goto_program_irep.cpp \
       goto_program_template.cpp \
+      goto_statistics.cpp \
       goto_trace.cpp \
       graphml_witness.cpp \
       instrument_preconditions.cpp \
