From 51c7e23d26e348756d9757fd0113fc6bf6085e72 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 20 Oct 2020 02:36:00 -0700
Subject: [PATCH] [sledge] Remove unneeded use of Formula.inject

Reviewed By: jvillard

Differential Revision: D24306040

fbshipit-source-id: d7163a447
---
 sledge/src/sh.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sledge/src/sh.ml b/sledge/src/sh.ml
index c15289d53..10ef4a00b 100644
--- a/sledge/src/sh.ml
+++ b/sledge/src/sh.ml
@@ -79,7 +79,7 @@ let fold_vars_stem ?ignore_ctx ?ignore_pure
     {us= _; xs= _; ctx; pure; heap; djns= _} ~init ~f =
   let unless flag f init = if Option.is_some flag then init else f ~init in
   List.fold ~f:(fun init -> fold_vars_seg ~f ~init) heap ~init
-  |> unless ignore_pure (Term.fold_vars ~f (Formula.inject pure))
+  |> unless ignore_pure (Formula.fold_vars ~f pure)
   |> unless ignore_ctx (Context.fold_vars ~f ctx)
 
 let fold_vars ?ignore_ctx ?ignore_pure fold_vars q ~init ~f =