Remove out-of-date comment

This comment was made unnecessary by GPR#1610.
2019-04-16 16:29:56 +01:00 · 2019-04-16 16:29:56 +01:00 · 26389cb4ef
parent a8fd17f8ce
commit 26389cb4ef
1 changed files with 0 additions and 2 deletions
--- a/debugger/loadprinter.ml
+++ b/debugger/loadprinter.ml
@ -82,8 +82,6 @@ let rec eval_address = function
    end
  | Env.Adot(addr, pos) -> Obj.field (eval_address addr) pos

-(* PR#7258: get rid of module aliases before evaluating paths *)
-
 let eval_value_path env path =
  match Env.find_value_address path env with
  | addr -> eval_address addr