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= [] }