diff options
Diffstat (limited to 'asmcomp/closure.ml')
| -rw-r--r-- | asmcomp/closure.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/closure.ml b/asmcomp/closure.ml index 1154778834..e86ecb6bac 100644 --- a/asmcomp/closure.ml +++ b/asmcomp/closure.ml @@ -28,6 +28,7 @@ module Storer = type t = lambda type key = lambda let make_key = Lambda.make_key + let compare_key = Pervasives.compare end) (* Auxiliaries for compiling functions *) |