diffblue
diff --git a/‎src/goto-cc/xml_binaries/read_goto_object.cpp
Lines changed: 0 additions & 135 deletions b/‎src/goto-cc/xml_binaries/read_goto_object.cpp
Lines changed: 0 additions & 135 deletions
diff --git a/‎src/goto-cc/xml_binaries/read_goto_object.h
Lines changed: 0 additions & 28 deletions b/‎src/goto-cc/xml_binaries/read_goto_object.h
Lines changed: 0 additions & 28 deletions
diff --git a/‎src/goto-cc/xml_binaries/xml_goto_function.cpp
Lines changed: 0 additions & 38 deletions b/‎src/goto-cc/xml_binaries/xml_goto_function.cpp
Lines changed: 0 additions & 38 deletions
diff --git a/‎src/goto-cc/xml_binaries/xml_goto_function.h
Lines changed: 0 additions & 23 deletions b/‎src/goto-cc/xml_binaries/xml_goto_function.h
Lines changed: 0 additions & 23 deletions
diff --git a/‎src/goto-cc/xml_binaries/xml_goto_function_hashing.cpp
Lines changed: 0 additions & 43 deletions b/‎src/goto-cc/xml_binaries/xml_goto_function_hashing.cpp
Lines changed: 0 additions & 43 deletions
diff --git a/‎src/goto-cc/xml_binaries/xml_goto_function_hashing.h
Lines changed: 0 additions & 38 deletions b/‎src/goto-cc/xml_binaries/xml_goto_function_hashing.h
Lines changed: 0 additions & 38 deletions