ExpressionSolve: fixed sign in pow(x,y) = z with respect to x

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@24258 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Jan 28, 2015 · a9f97c5 · a9f97c5
1 parent e2e0896
commit a9f97c5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Compiler/BackEnd/ExpressionSolve.mo b/Compiler/BackEnd/ExpressionSolve.mo
@@ -1627,6 +1627,7 @@ algorithm
     (exP, eqnForNewVars_, newVarsCrefs_) = makeTmpEqnAndCrefFromExp(exP, tp, "X$ABS", uniqueEqIndex, idepth, ieqnForNewVars, inewVarsCrefs, false);
     e_1 = Expression.makePureBuiltinCall("$_signNoNull", {exP}, tp);
     lhs = Expression.expPow(inExp2,Expression.inverseFactors(e2));
+    lhs = Expression.makePureBuiltinCall("abs", {lhs}, tp);
     lhs = Expression.expMul(e_1,lhs);
 
   then(e1, lhs, true, eqnForNewVars_, newVarsCrefs_, idepth + 1);