From 73ffd1c1cbe840ea8805343a4c4be30c7f36750e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 22 Nov 2021 18:18:01 +0100
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/polysat/trail.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/polysat/trail.h b/src/math/polysat/trail.h
index d63c14fb5..8ee6e81c1 100644
--- a/src/math/polysat/trail.h
+++ b/src/math/polysat/trail.h
@@ -23,7 +23,6 @@ namespace polysat {
         viable_add_i,
         viable_rem_i,
         assign_i,
-        just_i,
         assign_bool_i
     };