diff options
| -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 *) |