* code_map/model2.ml: fix exn