From b05e305aef7d881b4bd4feba7b9cd80f75875e24 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Mon, 3 Mar 2025 10:34:36 +0100
Subject: [PATCH] 03/36: Fix indentation

---
 tests/regression/03-practical/36-struct-ptr.c | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

diff --git a/tests/regression/03-practical/36-struct-ptr.c b/tests/regression/03-practical/36-struct-ptr.c
index eb31293cd0..e96a7f7966 100644
--- 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
 		}
 	}
-  }
+}