From ec830686514e4a3add0ba9da7f7a07d205d37728 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 20 Oct 2020 02:36:06 -0700
Subject: [PATCH] [sledge] Minor cleanup in Fol

Reviewed By: jvillard

Differential Revision: D24306103

fbshipit-source-id: b12823221
---
 sledge/src/fol.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/sledge/src/fol.ml b/sledge/src/fol.ml
index c5a1370c1..71c50853f 100644
--- a/sledge/src/fol.ml
+++ b/sledge/src/fol.ml
@@ -1380,15 +1380,13 @@ module Context = struct
 
   let class_of x e = List.map ~f:of_ses (Ses.Equality.class_of x (to_ses e))
 
-  let classes_of_ses clss =
-    Ses.Term.Map.fold clss ~init:Term.Map.empty
+  let classes x =
+    Ses.Term.Map.fold (Ses.Equality.classes x) ~init:Term.Map.empty
       ~f:(fun ~key:rep ~data:cls clss ->
         let rep' = of_ses rep in
         let cls' = List.map ~f:of_ses cls in
         Term.Map.set ~key:rep' ~data:cls' clss )
 
-  let classes x = classes_of_ses (Ses.Equality.classes x)
-
   let diff_classes r s =
     Term.Map.filter_mapi (classes r) ~f:(fun ~key:rep ~data:cls ->
         match