From 0e3868c35fc213e2c8456ecbd868ac0ca6b0fc97 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Thu, 12 Nov 2020 06:13:35 -0800
Subject: [PATCH] [sledge] Minor code simplification in Trm.map

Reviewed By: ngorogiannis

Differential Revision: D24746230

fbshipit-source-id: c515e5543
---
 sledge/src/fol/trm.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/sledge/src/fol/trm.ml b/sledge/src/fol/trm.ml
index 08a6ba245..019e16d39 100644
--- a/sledge/src/fol/trm.ml
+++ b/sledge/src/fol/trm.ml
@@ -462,9 +462,7 @@ let rec map_vars e ~f =
 let map e ~f =
   match e with
   | Var _ | Z _ | Q _ -> e
-  | Arith a ->
-      let a' = Arith.map ~f a in
-      if a == a' then e else _Arith a'
+  | Arith a -> map1 (Arith.map ~f) e _Arith a
   | Splat x -> map1 f e _Splat x
   | Sized {seq; siz} -> map2 f e _Sized seq siz
   | Extract {seq; off; len} -> map3 f e _Extract seq off len