From 982da8db0561d32f0fe7cddcdaf5e92729f5a6c0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 7 Dec 2020 10:27:00 -0800
Subject: [PATCH] fix #4868

---
 src/sat/sat_probing.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/sat/sat_probing.cpp b/src/sat/sat_probing.cpp
index f6fac6db7e8..ee30d0644ad 100644
--- a/src/sat/sat_probing.cpp
+++ b/src/sat/sat_probing.cpp
@@ -170,8 +170,7 @@ namespace sat {
             unsigned sz = s.get_wlist(~l).size();
             for (unsigned i = 0; i < sz; ++i) {
                 watch_list& wlist = s.get_wlist(~l);
-                watched & w = wlist[i];
-                sz = wlist.size();
+                watched & w = wlist[i];                
                 if (!w.is_binary_clause())
                     continue;
                 literal l2 = w.get_literal();
@@ -185,6 +184,7 @@ namespace sat {
                     return;
                 if (s.inconsistent())
                     return;
+                sz = wlist.size();
             }
         }
     }