From 8860de39bb72e386bb221c568c34bf2a72a7ace9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 18 Feb 2020 18:08:11 -0800 Subject: [PATCH] ull Signed-off-by: Nikolaj Bjorner --- src/sat/sat_cutset_compute_shift.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sat/sat_cutset_compute_shift.h b/src/sat/sat_cutset_compute_shift.h index b2bf05ed9..a60539631 100644 --- a/src/sat/sat_cutset_compute_shift.h +++ b/src/sat/sat_cutset_compute_shift.h @@ -856,8 +856,8 @@ def shift(x, k): if k == 0: return x if k < 0: - return "(%s >> %d)" % (x,-k) - return "(%s << %d)" % (x, k) + return "(%s >> %dull)" % (x,-k) + return "(%s << %dull)" % (x, k) def hash(r, hashcons): if r in hashcons: