From 577ef67a687006647e8ccdf352dfbb96f4080bbc Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 20 Oct 2020 02:38:01 -0700
Subject: [PATCH] [sledge] Fix doc in Ses.Term

Reviewed By: jvillard

Differential Revision: D24306075

fbshipit-source-id: a476562e9
---
 sledge/src/ses/term.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/sledge/src/ses/term.ml b/sledge/src/ses/term.ml
index de0b1af82..db8a666d5 100644
--- a/sledge/src/ses/term.ml
+++ b/sledge/src/ses/term.ml
@@ -421,7 +421,7 @@ let rec simp_add_ es poly =
   (* (coeff × term) + poly *)
   let f term coeff poly =
     match (term, poly) with
-    (* (0 × e) + s ==> 0 (optim) *)
+    (* (0 × e) + s ==> s (optim) *)
     | _ when Q.equal Q.zero coeff -> poly
     (* (c × 0) + s ==> s (optim) *)
     | Integer {data}, _ when Z.equal Z.zero data -> poly
@@ -534,9 +534,9 @@ let simp_mul es =
 
 let simp_cond cnd thn els =
   match cnd with
-  (* ¬(true ? t : e) ==> t *)
+  (* (true ? t : e) ==> t *)
   | Integer {data} when Z.is_true data -> thn
-  (* ¬(false ? t : e) ==> e *)
+  (* (false ? t : e) ==> e *)
   | Integer {data} when Z.is_false data -> els
   | _ -> Ap3 (Conditional, cnd, thn, els)