clang format

Author: Enrico Steffinlongo

Diff for: 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