From 5de191a50d140c568c9187204c3e8c8a72f162d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= <ezgi@fb.com>
Date: Wed, 10 Jun 2020 09:46:24 -0700
Subject: [PATCH] [inferbo] Fix repeated code

Summary: As per title

Reviewed By: skcho

Differential Revision: D21974621

fbshipit-source-id: e319f81e0
---
 infer/src/bufferoverrun/bufferOverrunDomain.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/infer/src/bufferoverrun/bufferOverrunDomain.ml b/infer/src/bufferoverrun/bufferOverrunDomain.ml
index 88f012c80..1cf1838e4 100644
--- a/infer/src/bufferoverrun/bufferOverrunDomain.ml
+++ b/infer/src/bufferoverrun/bufferOverrunDomain.ml
@@ -676,8 +676,7 @@ module Val = struct
     match typ.Typ.desc with
     | Tint (IBool | IChar | ISChar | IUChar | IUShort) ->
         let v = itv_val ~non_int:is_java ~taint in
-        if Language.curr_language_is Java then set_itv_updated_by_unknown v
-        else set_itv_updated_by_addition v
+        if is_java then set_itv_updated_by_unknown v else set_itv_updated_by_addition v
     | Tfloat _ | Tfun | TVar _ ->
         itv_val ~non_int:true ~taint |> set_itv_updated_by_unknown
     | Tint _ | Tvoid ->