Add semi-colon after all select blocks

ietf-wg-ppm · Nov 23, 2023 · b19cca5 · b19cca5
1 parent 2aada1e
commit b19cca5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/draft-wang-ppm-dap-taskprov.md b/draft-wang-ppm-dap-taskprov.md
@@ -188,7 +188,7 @@ struct {
         case time_interval: Empty;
         case fixed_size:    uint32 max_batch_size;
         default:            opaque[QueryConfig.query_type_param_len];
-    }
+    };
 } QueryConfig;
 ~~~
 
@@ -225,7 +225,7 @@ struct {
             uint16; /* bit length of input string */
         default:
             opaque[VdafConfig.vdaf_type_param_len];
-    }
+    };
 } VdafConfig;
 ~~~
 
@@ -245,7 +245,7 @@ struct {
     select (DpConfig.dp_mechanism) {
         case none: Empty;
         default:   opaque[DpConfig.dp_mechanism_param_len];
-    }
+    };
 } DpConfig;
 ~~~