From 3e5c2ac7d20e72281e75e62b447d67053815bd36 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Sun, 7 Jun 2020 04:59:09 -0700
Subject: [PATCH] [sledge] Change: No need to compute type of arg of assume

Reviewed By: ngorogiannis

Differential Revision: D21720971

fbshipit-source-id: c3dece889
---
 sledge/bin/domain_itv.ml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/sledge/bin/domain_itv.ml b/sledge/bin/domain_itv.ml
index 1205a9e34..34800b695 100644
--- a/sledge/bin/domain_itv.ml
+++ b/sledge/bin/domain_itv.ml
@@ -195,11 +195,7 @@ let assign reg exp q =
 
 (** block if [e] is known to be false; skip otherwise *)
 let exec_assume q e =
-  match
-    Option.bind
-      ~f:(apron_texpr_of_llair_term (Exp.term e) q)
-      (apron_typ_of_llair_typ (Exp.typ e))
-  with
+  match apron_texpr_of_llair_term (Exp.term e) q Texpr1.Int with
   | Some e ->
       let cond =
         Abstract1.bound_texpr (Lazy.force man) q (Texpr1.of_expr q.env e)