From b82c3cfd33b99472600eab30ac90ca753bcf435c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 24 Nov 2021 11:26:13 +0100
Subject: [PATCH] remove deprecated comment

---
 src/math/polysat/conflict.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/polysat/conflict.cpp b/src/math/polysat/conflict.cpp
index 4d31cb8b3..a92425dd3 100644
--- a/src/math/polysat/conflict.cpp
+++ b/src/math/polysat/conflict.cpp
@@ -285,7 +285,6 @@ namespace polysat {
     bool conflict::resolve_value(pvar v) {
         // NOTE:
         // In the "standard" case where "v = val" is on the stack:
-        //      - cjust_v contains true constraints
         //      - core contains both false and true constraints (originally only false ones, but additional true ones may come from saturation)
 
         if (is_bailout()) {