From af8c0696167321c7bccfe9eaafbb1ec3db17942f Mon Sep 17 00:00:00 2001 From: Ken McMillan Date: Tue, 22 Oct 2019 16:08:15 -0700 Subject: [PATCH] fixes issue #44 --- ivy/ivy_compiler.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ivy/ivy_compiler.py b/ivy/ivy_compiler.py index caa28f26..5b37fcb1 100644 --- a/ivy/ivy_compiler.py +++ b/ivy/ivy_compiler.py @@ -1553,7 +1553,7 @@ def checkdef(sym,lf): raise IvyError(side_effects[s],'immutable symbol assigned. \n{} info: symbol is used in axiom here'.format(lf.lineno)) for lf in mod.definitions: - s = lf.formula.lhs() + s = lf.formula.lhs().rep if s in side_effects: raise IvyError(side_effects[s],'immutable symbol assigned. \n{} Symbol is defined here'.format(lf.lineno))