From b1002638ab05c519fd2933733326d4b067d47a2e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 6 Jun 2021 21:14:17 -0700
Subject: [PATCH] #5324

---
 src/sat/smt/arith_internalize.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/smt/arith_internalize.cpp b/src/sat/smt/arith_internalize.cpp
index 498e6f725..e59d3f4d7 100644
--- a/src/sat/smt/arith_internalize.cpp
+++ b/src/sat/smt/arith_internalize.cpp
@@ -436,8 +436,8 @@ namespace arith {
         theory_var v = mk_evar(t);
         if (_has_var)
             return v;
-        theory_var w = mk_evar(n);
         internalize_term(n);
+        theory_var w = mk_evar(n);
 
         if (p == 0) {
             mk_power0_axioms(t, n);