From 670119426234acf9c5a9e45d2649149f222b94f9 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 2 Feb 2021 04:37:00 -0800
Subject: [PATCH] [sledge] Minor cleanup in Context

Reviewed By: jvillard

Differential Revision: D25946113

fbshipit-source-id: 90b1fd4a6
---
 sledge/src/fol/context.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/sledge/src/fol/context.ml b/sledge/src/fol/context.ml
index 0e4f944dd..6344e8d9c 100644
--- a/sledge/src/fol/context.ml
+++ b/sledge/src/fol/context.ml
@@ -669,10 +669,9 @@ let rec propagate ~wrt x =
 (* Core operations ========================================================*)
 
 let empty =
-  let rep = Subst.empty in
   { xs= Var.Set.empty
   ; sat= true
-  ; rep
+  ; rep= Subst.empty
   ; cls= Trm.Map.empty
   ; use= Trm.Map.empty
   ; pnd= [] }