diff options
Diffstat (limited to 'lib/hashcons.ml')
| -rw-r--r-- | lib/hashcons.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/hashcons.ml b/lib/hashcons.ml index 8daeec944..745169dc0 100644 --- a/lib/hashcons.ml +++ b/lib/hashcons.ml @@ -132,8 +132,7 @@ module Hstring = Make( type t = string type u = unit let hashcons () s =(* incr accesstr;*) s - let equal s1 s2 =(* incr comparaisonstr; - if*) s1=s2(* then (incr successtr; true) else false*) + let equal (s1 : t) (s2 : t) = s1 = s2 let hash = Hashtbl.hash end) |