commit 6de224998b2482bae13685251ef13bf76a50f5a1
author Gerwin Klein <gerwin.klein@proofcraft.systems> Mon Aug 30 21:45:49 2021 +1000
committer GitHub <noreply@github.com> Mon Aug 30 21:45:49 2021 +1000
tree 643e4dcd6af22d2f3fabd13a05788a84a6c27f30
parent d9667bbb5875dc4d954f79f7dc07a891cf38ee7c

trivial: fix compiler warning (#41)

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

libsel4vka/include/vka/object.h

diff --git a/libsel4vka/include/vka/object.h b/libsel4vka/include/vka/object.h
index 3ac61d5..994e26d 100644
--- a/libsel4vka/include/vka/object.h
+++ b/libsel4vka/include/vka/object.h
@@ -95,7 +95,7 @@
 static inline seL4_CPtr vka_alloc_object_leaky(vka_t *vka, seL4_Word type, seL4_Word size_bits) WARN_UNUSED_RESULT;
 static inline seL4_CPtr vka_alloc_object_leaky(vka_t *vka, seL4_Word type, seL4_Word size_bits)
 {
-    vka_object_t result = {.cptr = 0, .ut = 0, .type = 0, size_bits = 0};
+    vka_object_t result = {.cptr = 0, .ut = 0, .type = 0, .size_bits = 0};
     return vka_alloc_object(vka, type, size_bits, &result) == -1 ? 0 : result.cptr;
 }