formatting

Author: Remi Delmas

regression/contracts/assigns_enforce_statics_subfunctions/test2.c

@@ -53,4 +53,4 @@ int main()
   // must fail because x was modified
   __CPROVER_assert(old_x == x, "old_x == x expecting FAILURE");
   return 0;
-}
+}