From e016979ff6dad133c459e2b4ddfd2f146a5e46ce Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 18 Feb 2020 18:07:13 -0800 Subject: [PATCH] ull Signed-off-by: Nikolaj Bjorner --- src/sat/sat_cutset_compute_shift.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/sat_cutset_compute_shift.h b/src/sat/sat_cutset_compute_shift.h index 5222e704f..b2bf05ed9 100644 --- a/src/sat/sat_cutset_compute_shift.h +++ b/src/sat/sat_cutset_compute_shift.h @@ -880,7 +880,7 @@ def compile(S, offset, hashcons): S2 = S[l2:] if S1 == S2: r1 = compile(S1, offset, hashcons) - return hash("(%s | (%s << %d))" % (r1, r1, l2), hashcons) + return hash("(%s | (%s << %dull))" % (r1, r1, l2), hashcons) r1 = compile(S1, offset, hashcons) r2 = compile(S2, offset + l2, hashcons) return hash("(%s | %s)" % (r1, r2), hashcons)