Adding string preprocessing of goto-programs to Makefile

romainbrenguier · tautschnig · commit 7b240ba386bb · 2017-07-14T21:19:52.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 \
       vcd_goto_trace.cpp \
       wp.cpp \
       write_goto_binary.cpp \
