Adding string preprocessing of goto-programs to Makefile

romainbrenguier · tautschnig · commit f954a86d0baa · 2017-07-13T18:29:59.000+01:00
diff --git a/src/goto-programs/Makefile b/src/goto-programs/Makefile
@@ -57,6 +57,7 @@ SRC = basic_blocks.cpp \
       slice_global_inits.cpp \
       string_abstraction.cpp \
       string_instrumentation.cpp \
+      string_refine_preprocess.cpp \
       system_library_symbols.cpp \
       vcd_goto_trace.cpp \
       wp.cpp \
