Adding string preprocessing of goto-programs to Makefile

romainbrenguier · Joel Allred · commit 402f8e180f04 · 2017-03-23T17:56:44.000Z
diff --git a/src/goto-programs/Makefile b/src/goto-programs/Makefile
@@ -24,7 +24,8 @@ SRC = goto_convert.cpp goto_convert_function_call.cpp \
       remove_instanceof.cpp \
       class_identifier.cpp \
       system_library_symbols.cpp \
-
+      string_refine_preprocess.cpp \
+      # Empty last line
 
 INCLUDES= -I ..
 
