diff --git a/infer/src/clang/cTrans.ml b/infer/src/clang/cTrans.ml index 07f497bb8..cb2ba4a49 100644 --- a/infer/src/clang/cTrans.ml +++ b/infer/src/clang/cTrans.ml @@ -3802,7 +3802,6 @@ module CTrans_funct (F : CModule_type.CFrontend) : CModule_type.CTranslation = s exec_with_node_creation ~f:instruction trans_state stmt - (* TODO write translate function for cxx constructor exprs *) and get_custom_stmt_trans stmt = match stmt with | `ClangStmt stmt ->