X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fspv%2Fspvbin-helpers.c;h=138e213957b9b7cfe5819a51bfb8d92f711bf08a;hb=96994a54e60e9c95b8bba54c2281acf7059b1203;hp=e405310395d32f6f835a9f96d38ae78278246276;hpb=369c24f1d085a41ec274ebae5fc198fcee567653;p=pspp

diff --git a/src/output/spv/spvbin-helpers.c b/src/output/spv/spvbin-helpers.c
index e405310395..138e213957 100644
--- a/src/output/spv/spvbin-helpers.c
+++ b/src/output/spv/spvbin-helpers.c
@@ -46,7 +46,7 @@ spvbin_input_to_error (const struct spvbin_input *input, const char *name)
   if (name)
     ds_put_format (&s, "%s: ", name);
   ds_put_cstr (&s, "parse error decoding ");
-  for (size_t i = input->n_errors; i-- > 0; )
+  for (size_t i = input->n_errors; i-- > 0;)
     if (i < SPVBIN_MAX_ERRORS)
       ds_put_format (&s, "/%s@%#zx", input->errors[i].name,
                      input->errors[i].start);