add counter to CoqProject

imdea-software · Jun 30, 2023 · d76c371 · d76c371
1 parent a0bc8b7
commit d76c371
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -20,4 +20,5 @@ examples/bintree.v
 examples/bst.v
 examples/kvmaps.v
 examples/hashtab.v
+examples/counter.v
 examples/congmath.v