Adapted to master branch

marcoeilers · Jan 14, 2025 · 7feba3f · 7feba3f
1 parent 84fdeac
commit 7feba3f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/nagini_translation/translators/expression.py b/src/nagini_translation/translators/expression.py
@@ -994,7 +994,8 @@ def translate_operator(self, left: Expr, right: Expr, left_type: PythonType,
 
         if left_type == right_type or isinstance(right_type, TypeVar):
             func_name = LEFT_OPERATOR_FUNCTIONS[type(node.op)]
-            if isinstance(node.op, ast.Pow) and left_type.python_class.name == INT_TYPE and isNum(node.right):
+            if (isinstance(node.op, ast.Pow) and left_type.python_class.name == INT_TYPE and
+                    isinstance(node.right, ast.Constant) and isinstance(node.right.value, int)):
                 func_name = "__pow_unrolled__"
             call_stmt, call = self.get_func_or_method_call(left_type, func_name, [left, right], [left_type, right_type], node, ctx)
             if call is None: