Formatting

felickz · felickz · commit cc1d57db0964 · 2025-05-01T02:49:34.000Z
diff --git a/c/cert/src/rules/EXP42-C/DoNotComparePaddingData.ql b/c/cert/src/rules/EXP42-C/DoNotComparePaddingData.ql
@@ -7,7 +7,7 @@
  * @problem.severity error
  * @tags external/cert/id/exp42-c
  *       correctness
-  *       external/cert/obligation/rule
+ *       external/cert/obligation/rule
  *       external/cert/priority/p8
  *       external/cert/level/l2
  */
diff --git a/c/cert/src/rules/MSC32-C/ProperlySeedPseudorandomNumberGenerators.ql b/c/cert/src/rules/MSC32-C/ProperlySeedPseudorandomNumberGenerators.ql
@@ -6,7 +6,7 @@
  * @precision very-high
  * @problem.severity error
  * @tags external/cert/id/msc32-c
-  *       security
+ *       security
  *       external/cert/obligation/rule
  *       external/cert/priority/p18
  *       external/cert/level/l1
diff --git a/c/cert/src/rules/MSC37-C/ControlFlowReachesTheEndOfANonVoidFunction.ql b/c/cert/src/rules/MSC37-C/ControlFlowReachesTheEndOfANonVoidFunction.ql
@@ -8,7 +8,7 @@
  * @problem.severity error
  * @tags external/cert/id/msc37-c
  *       correctness
- *       external/cert/obligation/
+ *       external/cert/obligation/rule
  *       external/cert/priority/p9
  *       external/cert/level/l2
  */
