Fixing coverage description

kth-step · Nov 21, 2024 · 30e08c7 · 30e08c7
1 parent 428e6d6
commit 30e08c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hol/p4_from_json/excluded.sml b/hol/p4_from_json/excluded.sml
@@ -89,7 +89,7 @@ val exclude_descs =
   ("supporting top-level extern instantiations in import tool",
    ["issue1097-2-bmv2"]),
 (*
-    Counter extern of V1Model, direct table application (manually spotted)
+    Counter extern of V1Model (manually spotted)
 *)
   ("adding counter extern to V1Model model",
    ["issue1566-bmv2"]),