From 123c44639564455ff09490446b8c0abbca807533 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 1 Aug 2021 13:03:40 -0700
Subject: [PATCH] fix #5449

---
 src/util/mpq.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/mpq.cpp b/src/util/mpq.cpp
index 296fd6886..ed73e21f0 100644
--- a/src/util/mpq.cpp
+++ b/src/util/mpq.cpp
@@ -260,6 +260,7 @@ void mpq_manager<SYNCH>::set(mpq & a, char const * val) {
             if (exp > 0) {
                 _scoped_numeral<mpq_manager<SYNCH>> _exp(*this);
                 _scoped_numeral<mpq_manager<SYNCH>> _qten(*this);
+                _qten = 10;
                 power(_qten, static_cast<unsigned>(exp), _exp);
                 TRACE("mpq_set", tout << "a: " << to_string(a) << ", exp_sign:" << exp_sign << ", exp: " << exp << " " << to_string(_exp) << std::endl;);
                 if (exp_sign)