Fix arm32 C file

codex-semantics-library · Jun 1, 2024 · b9b6c64 · b9b6c64
1 parent 004a628
commit b9b6c64
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/int_builtins.c b/int_builtins.c
@@ -37,7 +37,7 @@ static inline uintnat clz(uintnat v){
   #ifdef ARCH_SIXTYFOUR
     return __builtin_clzll(v);
   #else
-    return __builtin_clz(v)
+    return __builtin_clz(v);
   #endif
 #endif
 #ifdef _MSC_VER
@@ -48,7 +48,7 @@ static inline uintnat clz(uintnat v){
     _BitScanReverse(&res,v);
   #endif
     return res;
-#endif    
+#endif
 }
 
 /**************** Highest bit ****************/