fixes issue #44

microsoft · Oct 22, 2019 · af8c069 · af8c069
1 parent 427290d
commit af8c069
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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))