diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/int.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/int.ml b/lib/int.ml index 1403dc510f..c8786c8a2d 100644 --- a/lib/int.ml +++ b/lib/int.ml @@ -64,7 +64,7 @@ struct | Root of 'a option array | DSet of int * 'a option * 'a t - let empty n = ref (Root (Array.create n None)) + let empty n = ref (Root (Array.make n None)) let rec rerootk t k = match !t with | Root _ -> k () |