From 7c7b239248f16ed7d16a2431a2f61d877b87cb8e Mon Sep 17 00:00:00 2001 From: Daiva Naudziuniene Date: Thu, 29 Mar 2018 09:32:54 -0700 Subject: [PATCH] [minor] out of place comment Reviewed By: jvillard Differential Revision: D7444298 fbshipit-source-id: 7a71454 --- infer/src/clang/cTrans.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/clang/cTrans.ml b/infer/src/clang/cTrans.ml index ae1d46882..24d638405 100644 --- a/infer/src/clang/cTrans.ml +++ b/infer/src/clang/cTrans.ml @@ -983,10 +983,10 @@ module CTrans_funct (F : CModule_type.CFrontend) : CModule_type.CTranslation = s in {res_trans_to_parent with exps= exp_to_parent} | _ -> + (* Binary operator should have two operands *) assert false - (* Binary operator should have two operands *) and callExpr_trans trans_state si stmt_list expr_info = let context = trans_state.context in let fn_type_no_ref = CType_decl.get_type_from_expr_info expr_info context.CContext.tenv in