| commit | 8be5a82b85ceb3ee8a1c4fbf36c75a4bfbda8900 | [log] [tgz] |
|---|---|---|
| author | Elyes Haouas <ehaouas@noos.fr> | Mon Sep 26 12:30:37 2022 +0200 |
| committer | Angel Pons <th3fanbus@gmail.com> | Tue Oct 04 14:01:00 2022 +0000 |
| tree | 4fac80b81bc7dc67a6b30bbb347403bb86cb08c9 | |
| parent | fc2102f560f25e0f2e5be91ec36646dcb69e6e1b [diff] |
Fix "unnecessary with of ancestor [-gnatwr]" Change-Id: I3a8a161a5fd6f8f261d101f1752b452d3706a2df Signed-off-by: Elyes Haouas <ehaouas@noos.fr> Reviewed-on: https://review.coreboot.org/c/libhwbase/+/67832 Tested-by: Nico Huber <nico.h@gmx.de> Reviewed-by: Nico Huber <nico.h@gmx.de> Reviewed-by: Angel Pons <th3fanbus@gmail.com>
diff --git a/common/hw-time.adb b/common/hw-time.adb index b81d343..42c63f6 100644 --- a/common/hw-time.adb +++ b/common/hw-time.adb
@@ -12,7 +12,6 @@ -- GNU General Public License for more details. -- -with HW; with HW.Time.Timer; use type HW.Word64;
diff --git a/debug/hw-debug.adb b/debug/hw-debug.adb index 2f1fed9..e28eb17 100644 --- a/debug/hw-debug.adb +++ b/debug/hw-debug.adb
@@ -12,7 +12,6 @@ -- GNU General Public License for more details. -- -with HW; with HW.Time; with HW.Debug_Sink;