From 439e84ce0f80411685787ecd6077a3cb31249759 Mon Sep 17 00:00:00 2001 From: Enrico Steffinlongo Date: Thu, 21 Dec 2023 15:56:58 +0000 Subject: [PATCH] clang format --- .../goto-harness/load-snapshot-static-global-pointer-01/main.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/regression/goto-harness/load-snapshot-static-global-pointer-01/main.c b/regression/goto-harness/load-snapshot-static-global-pointer-01/main.c index e3b7c88c1f5..0be9ddc76fb 100644 --- a/regression/goto-harness/load-snapshot-static-global-pointer-01/main.c +++ b/regression/goto-harness/load-snapshot-static-global-pointer-01/main.c @@ -14,7 +14,8 @@ int main() // It seems that on 32 bits systems when performing harness we get a harness // that is invalid. // Disabling the test this way for now. -int main() { +int main() +{ return 0; } #endif