@@ -792,7 +792,7 @@ let () =
{ source = src; path = "top" }
parsr in
let v = Option.get v in
let v = SExpr.flat_map SExprMacroExp.do_eval v in
let v = SExprMacroExp.do_eval v in
Format.set_margin 40;
Format.printf "%a@.@?" SExpr.pp_t v;
The note is not visible to the blocked user.