From 1ffe2fcc7ff826f20e9b5c127ee1133cdca54aa2 Mon Sep 17 00:00:00 2001
From: David Mak <chmakac@connect.ust.hk>
Date: Thu, 2 Jan 2025 15:28:28 +0800
Subject: [PATCH] [core] irrt: Minor reformat

---
 nac3core/irrt/irrt/math.hpp   | 2 ++
 nac3core/irrt/irrt/string.hpp | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/nac3core/irrt/irrt/math.hpp b/nac3core/irrt/irrt/math.hpp
index 1872f564..9dc1377e 100644
--- a/nac3core/irrt/irrt/math.hpp
+++ b/nac3core/irrt/irrt/math.hpp
@@ -1,5 +1,7 @@
 #pragma once
 
+#include "irrt/int_types.hpp"
+
 namespace {
 // adapted from GNU Scientific Library: https://git.savannah.gnu.org/cgit/gsl.git/tree/sys/pow_int.c
 // need to make sure `exp >= 0` before calling this function
diff --git a/nac3core/irrt/irrt/string.hpp b/nac3core/irrt/irrt/string.hpp
index db3ad7fd..229b7509 100644
--- a/nac3core/irrt/irrt/string.hpp
+++ b/nac3core/irrt/irrt/string.hpp
@@ -5,7 +5,7 @@
 namespace {
 template<typename SizeT>
 bool __nac3_str_eq_impl(const char* str1, SizeT len1, const char* str2, SizeT len2) {
-    if (len1 != len2){
+    if (len1 != len2) {
         return 0;
     }
     return __builtin_memcmp(str1, str2, static_cast<SizeT>(len1)) == 0;