03/36: Fix indentation

goblint · Mar 3, 2025 · b05e305 · b05e305
1 parent 55fa6bd
commit b05e305
Showing 1 changed file with 8 additions and 9 deletions.
diff --git a/tests/regression/03-practical/36-struct-ptr.c b/tests/regression/03-practical/36-struct-ptr.c
@@ -1,21 +1,20 @@
 #include <goblint.h>
 struct aws_al {
 	unsigned long current_size;
-  };
+};
 
-  struct aws_pq {
-	  int pred;
-	  struct aws_al container;
-  };
+struct aws_pq {
+	int pred;
+	struct aws_al container;
+};
 
-  int main() {
+int main() {
 	struct aws_pq queue = { 0, { 0}};
 	struct aws_al *const list = &queue.container;
 
 	if (list->current_size == 0UL) {
-		if (list->current_size == 0UL)
-		{
+		if (list->current_size == 0UL) {
 			__goblint_check(1); //REACHABLE
 		}
 	}
-  }
+}