From dcbbb55b73abb428c6a8fd5fc81c25abe143c081 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 11 Jun 2026 20:32:03 -0700
Subject: [PATCH] trim implementation

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/term_enumeration.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ast/term_enumeration.cpp b/src/ast/term_enumeration.cpp
index 815ef2fdb..84b868220 100644
--- a/src/ast/term_enumeration.cpp
+++ b/src/ast/term_enumeration.cpp
@@ -184,7 +184,7 @@ private:
     std::unordered_set<uint64_t> m_seen;
 
     uint64_t compute_fingerprint(expr* term) {
-        uint64_t a = 0, b = 1, c = 2;
+        uint64_t a = 1, b = 2, c = 0;
         for (auto& mdl : m_samples) {
             expr_ref val(m);
             model_evaluator eval(*mdl);
@@ -194,7 +194,7 @@ private:
             a *= val->hash();
             mix(a, b, c);
         }
-        return a;
+        return c;
     }
 };