From 624e96aee94a31bcf21d041da3def68259740286 Mon Sep 17 00:00:00 2001
From: Philippe Teuwen <phil@teuwen.org>
Date: Tue, 19 Sep 2023 13:18:02 +0200
Subject: [PATCH] fix compilation

---
 software/src/common.h       | 6 +++---
 software/src/nested.c       | 2 +-
 software/src/staticnested.c | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/software/src/common.h b/software/src/common.h
index 278df6a..8fac65b 100644
--- a/software/src/common.h
+++ b/software/src/common.h
@@ -1,7 +1,7 @@
-#ifndef NESTED_H__
-#define NESTED_H__
+#ifndef COMMON_H__
+#define COMMON_H__
 
 uint64_t atoui(const char* str);
 void num_to_bytes(uint64_t n, uint32_t len, uint8_t* dest);
 
-#endif
\ No newline at end of file
+#endif
diff --git a/software/src/nested.c b/software/src/nested.c
index 33b5b2a..fde471b 100644
--- a/software/src/nested.c
+++ b/software/src/nested.c
@@ -2,7 +2,7 @@
 #include <stdlib.h>
 #include <string.h>
 #include <inttypes.h>
-
+#include "common.h"
 #include "nested_util.h"
 
 int main(int argc, char *const argv[]) {
diff --git a/software/src/staticnested.c b/software/src/staticnested.c
index 73ed002..d1ba0bd 100644
--- a/software/src/staticnested.c
+++ b/software/src/staticnested.c
@@ -2,7 +2,7 @@
 #include <stdlib.h>
 #include <string.h>
 #include <inttypes.h>
-
+#include "common.h"
 #include "nested_util.h"
 
 int main(int argc, char *const argv[]) {