From a714efa243e5d5ec582e355fecf6780fad5fe49c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Per=20=C3=96stlund?= Date: Thu, 21 Sep 2023 20:22:25 +0200 Subject: [PATCH] Fix AbsynUtil.purityEqual (#11234) --- OMCompiler/Compiler/FrontEnd/AbsynUtil.mo | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/OMCompiler/Compiler/FrontEnd/AbsynUtil.mo b/OMCompiler/Compiler/FrontEnd/AbsynUtil.mo index e1b9d5fa1f9..ff57330338c 100644 --- a/OMCompiler/Compiler/FrontEnd/AbsynUtil.mo +++ b/OMCompiler/Compiler/FrontEnd/AbsynUtil.mo @@ -6357,8 +6357,8 @@ algorithm end match; else isEqual := match (purity1, purity2) - case (Absyn.FunctionPurity.PURE(), Absyn.FunctionPurity.IMPURE()) then true; - case (Absyn.FunctionPurity.IMPURE(), Absyn.FunctionPurity.PURE()) then true; + case (Absyn.FunctionPurity.NO_PURITY(), Absyn.FunctionPurity.PURE()) then true; + case (Absyn.FunctionPurity.PURE(), Absyn.FunctionPurity.NO_PURITY()) then true; else false; end match; end if;