From eb4d2263fedf3e5ed6aebe07323614aad157da99 Mon Sep 17 00:00:00 2001
From: Tavian Barnes <tavianator@tavianator.com>
Date: Thu, 6 Jun 2024 10:49:55 -0400
Subject: Minor formatting fixes

---
 src/bfstd.h |  2 +-
 src/opt.c   | 42 +++++++++++++++++++++---------------------
 2 files changed, 22 insertions(+), 22 deletions(-)

diff --git a/src/bfstd.h b/src/bfstd.h
index 45db81a..afb5282 100644
--- a/src/bfstd.h
+++ b/src/bfstd.h
@@ -376,7 +376,7 @@ size_t xread(int fd, void *buf, size_t nbytes);
  * writes.
  *
  * @return
-           The number of bytes written.  A value != nbytes indicates an error.
+ *         The number of bytes written.  A value != nbytes indicates an error.
  */
 size_t xwrite(int fd, const void *buf, size_t nbytes);
 
diff --git a/src/opt.c b/src/opt.c
index c4da7b2..9b091bd 100644
--- a/src/opt.c
+++ b/src/opt.c
@@ -300,27 +300,27 @@ static void df_init_top(struct df_domain *value) {
 
 /** Check for the top element. */
 static bool df_is_top(const struct df_domain *value) {
-        for (int i = 0; i < PRED_TYPES; ++i) {
-                if (value->preds[i] != PRED_TOP) {
-                        return false;
-                }
-        }
-
-        for (int i = 0; i < RANGE_TYPES; ++i) {
-                if (!range_is_top(&value->ranges[i])) {
-                        return false;
-                }
-        }
-
-        if (value->types != ~0U) {
-                return false;
-        }
-
-        if (value->xtypes != ~0U) {
-                return false;
-        }
-
-        return true;
+	for (int i = 0; i < PRED_TYPES; ++i) {
+		if (value->preds[i] != PRED_TOP) {
+			return false;
+		}
+	}
+
+	for (int i = 0; i < RANGE_TYPES; ++i) {
+		if (!range_is_top(&value->ranges[i])) {
+			return false;
+		}
+	}
+
+	if (value->types != ~0U) {
+		return false;
+	}
+
+	if (value->xtypes != ~0U) {
+		return false;
+	}
+
+	return true;
 }
 
 /** Compute the union of two fact sets. */
-- 
cgit v1.2.3