simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 11:45:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: disable checking of invariants

Browse source
This commit is contained in:
Simon Cruanes 2018-08-18 19:56:12 -05:00
parent c1a662e2c8
commit 0e467e058c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/Util.ml
View file

@ -39,4 +39,4 @@ module Int_map = CCMap.Make(CCInt)
module Int_tbl = CCHashtbl.Make(CCInt)
(* NOTE: if true, can have a big impact on performance *)
let _CHECK_INVARIANTS = true
let _CHECK_INVARIANTS = false