[backend] remove unnecessary else branch from unit function in tabulation

Reviewed By: dulmarod Differential Revision: D7082482 fbshipit-source-id: 557415e
7 years ago · cbf9e3b88b
parent 1fe7f89603
commit cbf9e3b88b
1 changed files with 1 additions and 1 deletions
--- a/infer/src/backend/tabulation.ml
+++ b/infer/src/backend/tabulation.ml
@ -92,7 +92,7 @@ let log_call_trace caller_name callee_name loc res =
      ; caller_name= Typ.Procname.to_string caller_name
      ; lang= Typ.Procname.get_language caller_name |> Language.to_explicit_string }
  in
-  if !Config.footprint then EventLogger.log call_trace else ()
+  if !Config.footprint then EventLogger.log call_trace


 (***************)