diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1998-11-11 16:58:05 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1998-11-11 16:58:05 +0000 |
| commit | 793eb64fe1487990ca3cc051fce5c60531709189 (patch) | |
| tree | 6c5e6cd62bd27888e6902f90092e079e31679209 /typing/ident.ml | |
| parent | 939d9b30a9240aa8d78e833fe5af07d262f40968 (diff) | |
Bug de let module
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/ident.ml')
| -rw-r--r-- | typing/ident.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/ident.ml b/typing/ident.ml index bd08c470e..a9529f093 100644 --- a/typing/ident.ml +++ b/typing/ident.ml @@ -43,6 +43,7 @@ let same i1 i2 = i1 = i2 let binding_time i = i.stamp let current_time() = !currentstamp +let set_current_time t = currentstamp := max !currentstamp t let hide i = { stamp = -1; name = i.name; global = i.global } |