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
     };