diff options
Diffstat (limited to 'patch-gnatcoll-projects-normalize.adb')
-rw-r--r-- | patch-gnatcoll-projects-normalize.adb | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/patch-gnatcoll-projects-normalize.adb b/patch-gnatcoll-projects-normalize.adb new file mode 100644 index 000000000000..fd17a665e43c --- /dev/null +++ b/patch-gnatcoll-projects-normalize.adb @@ -0,0 +1,12 @@ +--- src/gnatcoll-projects-normalize.adb 2016-05-16 19:34:28.000000000 +1000 ++++ src/gnatcoll-projects-normalize.adb-new 2016-07-03 08:01:32.926640074 +1000 +@@ -2204,6 +2204,9 @@ + + when N_Comment => + null; ++ ++ when N_Split => ++ null; + end case; + end if; + |