Skip to content

Commit 820555c

Browse files
vector-of-boolvector-of-bool
committed
Prove correctness of integer bounds checks.
1 parent afe21a5 commit 820555c

File tree

3 files changed

+416
-73
lines changed

3 files changed

+416
-73
lines changed

‎src/libmongoc/src/mongoc/CMakeLists.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -75,6 +75,7 @@ extra_dist_generated (
7575

7676
set (src_libmongoc_src_mongoc_DIST_noinst_hs
7777
mcd-azure.h
78+
mcd-integer.h
7879
mcd-time.h
7980
mongoc-aggregate-private.h
8081
mongoc-apm-private.h

0 commit comments

Comments
 (0)