Minor formatting fixes

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. */