* code_map/view2.ml: remove unused parameter
* code_map/view_mainmap.ml: goto def of use, finally
* code_map/view_mainmap.ml: fix