+ let new_text =
+ let initial_space =
+ if initial_space = "" then "\n" else initial_space in
+ initial_space ^
+ DisambiguatePp.pp_environment(DTE.cons k value DTE.empty) in
+ let new_status =
+ {status with aliases = DTE.cons k value status.aliases}
+ in
+ "\n",new_status,((new_status, new_text)::acc)
+ ) new_aliases (initial_space,status,[]) in
+ let parsed_text = initial_space ^ parsed_text in
+ let res =
+ List.rev new_status_and_text_list_rev @ new_status_and_text_list' @
+ [new_status, parsed_text]