diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-07-28 12:26:14 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-07-28 12:26:14 +0000 |
| commit | e29e48a5dffa424f290ef5e468c35c2c87bb56bb (patch) | |
| tree | 0bef79b038b84e687d72bb9cbb5a7f7d086bd9ba | |
| parent | 51768ea61b09a10e6163ba592e8f79b9e86dabec (diff) | |
Utiliser Hashtbl.replace
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | toplevel/toploop.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml index 5190d229f..693762e15 100644 --- a/toplevel/toploop.ml +++ b/toplevel/toploop.ml @@ -42,8 +42,7 @@ let getvalue name = fatal_error (name ^ " unbound at toplevel") let setvalue name v = - Hashtbl.remove toplevel_value_bindings name; - Hashtbl.add toplevel_value_bindings name v + Hashtbl.replace toplevel_value_bindings name v (* Hooks for parsing functions *) |