nitpicker: resolve uint64_t ambiguity

2025-04-08 03:45:24 +00:00 · 2025-01-25 13:08:07 +01:00 · 2025-01-25 13:08:07 +01:00 · d90db178a2
commit d90db178a2
parent 526ea05821
1 changed files with 2 additions and 0 deletions
--- a/repos/os/src/server/nitpicker/types.h
+++ b/repos/os/src/server/nitpicker/types.h
@ -23,6 +23,8 @@

 namespace Nitpicker {

+	using uint64_t = Genode::uint64_t;
+
 	using namespace Gui;

 	using Pixel = Pixel_rgb888;