clang-format vsscanf

This is to ensure git-clang-format doesn't end up confused and
spuriously starts indenting from the closing curly brace of vsscanf
onwards.

Author: tautschnig

src/ansi-c/library/stdio.c

@@ -1148,8 +1148,8 @@ int __VERIFIER_nondet_int();
 
 int vsscanf(const char *restrict s, const char *restrict format, va_list arg)
 {
-  __CPROVER_HIDE:;
-  int result=__VERIFIER_nondet_int();
+__CPROVER_HIDE:;
+  int result = __VERIFIER_nondet_int();
   (void)*s;
   (void)*format;
   while((__CPROVER_size_t)__CPROVER_POINTER_OFFSET(arg) <