Flexelint polish

54b42bc0 · Nils Goroll · 526b87a9 · 54b42bc0
Unverified Commit 54b42bc0 authored Jan 13, 2024 by Nils Goroll
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

bitf_segmentation.h src/bitf_segmentation.h +1 -1

No files found.
--- a/src/bitf_segmentation.h
+++ b/src/bitf_segmentation.h
@@ -79,7 +79,7 @@ bitfs_reset(struct bitfs *bitfs)

 	CHECK_OBJ_NOTNULL(bitfs, BITFS_MAGIC);
 	AN(bitfs->space);
-	bitfs_init(bitfs, bitfs->space);
+	AN(bitfs_init(bitfs, bitfs->space));
 }

 static inline void