Adding string preprocessing of goto-programs to Makefile

Author: romainbrenguier

src/goto-programs/Makefile

@@ -20,7 +20,8 @@ SRC = goto_convert.cpp goto_convert_function_call.cpp \
       slice_global_inits.cpp goto_inline_class.cpp class_identifier.cpp \
       show_goto_functions_json.cpp \
       show_goto_functions_xml.cpp \
-      remove_static_init_loops.cpp remove_instanceof.cpp
+      remove_static_init_loops.cpp remove_instanceof.cpp \
+      string_refine_preprocess.cpp
 
 INCLUDES= -I ..