-- ^

reach-sh · Nov 10, 2022 · 1f68dfd · 1f68dfd
1 parent 0e56ea1
commit 1f68dfd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hs/src/Reach/Connector/ALGO.hs b/hs/src/Reach/Connector/ALGO.hs
@@ -2902,7 +2902,7 @@ cblt lab go t = do
         label llab
         rec low (Just $ rv - 1) l
       Leaf which _mustCheck h -> do
-        -- ^ XXX mustCheck is supposed to be this test
+        -- XXX mustCheck is supposed to be this test
         case (which == low && mhi == Just which) of
           True -> op "pop"
           False -> do