diff options
Diffstat (limited to 'toml_slicer.gcc13.1.patch')
| -rw-r--r-- | toml_slicer.gcc13.1.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/toml_slicer.gcc13.1.patch b/toml_slicer.gcc13.1.patch new file mode 100644 index 000000000000..3cee5efd6900 --- /dev/null +++ b/toml_slicer.gcc13.1.patch @@ -0,0 +1,12 @@ +Index: toml_slicer/src/toml_slicer.adb +=================================================================== +--- toml_slicer.orig/src/toml_slicer.adb ++++ toml_slicer/src/toml_slicer.adb +@@ -207,7 +207,6 @@ package body TOML_Slicer is + raise Slicing_Error with + "Could not find removable entry " & Entry_Name + & " in array " & Array_Name & " in file " & File_Name; +- return; + end if; + end Remove_Target; + |