From e5dffeace4b04b757aaa5f78e4e749034029fef0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 30 Jun 2019 08:40:41 +0300 Subject: [PATCH] fix #2365 Signed-off-by: Nikolaj Bjorner --- examples/python/complex/complex.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/python/complex/complex.py b/examples/python/complex/complex.py index 3623b5f1e..aa9adeef8 100644 --- a/examples/python/complex/complex.py +++ b/examples/python/complex/complex.py @@ -46,7 +46,7 @@ class ComplexExpr: other = _to_complex(other) return ComplexExpr(self.r*other.r - self.i*other.i, self.r*other.i + self.i*other.r) - def __mul__(self, other): + def __rmul__(self, other): other = _to_complex(other) return ComplexExpr(other.r*self.r - other.i*self.i, other.i*self.r + other.r*self.i)