From fa840ad1e491f6f7a67e47e148c1b2e4be534dab Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Fri, 26 Jan 2018 17:59:13 -0800 Subject: [PATCH] [infer][java] log the error message for JBasics.Class_structure_error Reviewed By: sblackshear Differential Revision: D6824281 fbshipit-source-id: 74453b6 --- infer/src/java/jFrontend.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/infer/src/java/jFrontend.ml b/infer/src/java/jFrontend.ml index 0682ae323..800074d4e 100644 --- a/infer/src/java/jFrontend.ml +++ b/infer/src/java/jFrontend.ml @@ -157,9 +157,9 @@ let create_icfg source_file linereader program icfg cn node = ignore (JTrans.create_native_procdesc source_file program icfg cm proc_name) | Javalib.ConcreteMethod cm -> add_cmethod source_file program linereader icfg cm proc_name - with JBasics.Class_structure_error _ -> - L.internal_error "create_icfg raised JBasics.Class_structure_error on %a@." Typ.Procname.pp - proc_name + with JBasics.Class_structure_error error -> + L.internal_error "create_icfg raised JBasics.Class_structure_error %s on %a@." error + Typ.Procname.pp proc_name in Javalib.m_iter translate node