diffblue
diff --git a/‎src/goto-cc/xml_binaries/read_goto_object.cpp
-135 b/‎src/goto-cc/xml_binaries/read_goto_object.cpp
-135
diff --git a/‎src/goto-cc/xml_binaries/read_goto_object.h
-28 b/‎src/goto-cc/xml_binaries/read_goto_object.h
-28
diff --git a/‎src/goto-cc/xml_binaries/xml_goto_function.cpp
-38 b/‎src/goto-cc/xml_binaries/xml_goto_function.cpp
-38
diff --git a/‎src/goto-cc/xml_binaries/xml_goto_function.h
-23 b/‎src/goto-cc/xml_binaries/xml_goto_function.h
-23
diff --git a/‎src/goto-cc/xml_binaries/xml_goto_function_hashing.cpp
-43 b/‎src/goto-cc/xml_binaries/xml_goto_function_hashing.cpp
-43
diff --git a/‎src/goto-cc/xml_binaries/xml_goto_function_hashing.h
-38 b/‎src/goto-cc/xml_binaries/xml_goto_function_hashing.h
-38