diff options
Diffstat (limited to 'lib/cString.ml')
| -rw-r--r-- | lib/cString.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cString.ml b/lib/cString.ml index 13ec4e9b7..b21df78cb 100644 --- a/lib/cString.ml +++ b/lib/cString.ml @@ -171,4 +171,4 @@ module List = struct let equal l l' = CList.equal equal l l' end -let hcons = Hashcons.simple_hcons Hashcons.Hstring.generate () +let hcons = Hashcons.simple_hcons Hashcons.Hstring.generate Hashcons.Hstring.hcons () |