From ffe1c7a3d317ff8770e579e1ad180d1401c1609c Mon Sep 17 00:00:00 2001 From: Christophe Alexandre Date: Mon, 1 Dec 2003 12:41:46 +0000 Subject: [PATCH] Ludo's bug fix --- alliance/src/abl/src/ablsimp.c | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/alliance/src/abl/src/ablsimp.c b/alliance/src/abl/src/ablsimp.c index 4984c21b..da96f8de 100644 --- a/alliance/src/abl/src/ablsimp.c +++ b/alliance/src/abl/src/ablsimp.c @@ -4,7 +4,7 @@ | (C) Laboratoire LIP6 - Département ASIM Universite P&M Curie| | | | Home page : http://www-asim.lip6.fr/alliance/ | -| E-mail : mailto:alliance-users@asim.lip6.fr | +| E-mail : mailto:alliance-users@asim.lip6.fr | | | | This progam is free software; you can redistribute it | | and/or modify it under the terms of the GNU Library General| @@ -203,6 +203,11 @@ ablexpr *simpdupexpr( Expr ) freeablexpr( Expr ); ABL_ATOM_VALUE( ExprSimp ) = (char *)AblSimplifyTable[ Oper ][ 1 ]; + if ( Negative == 1 ) + { + return( optimablnotexpr( ExprSimp ) ); + } + return( ExprSimp ); } @@ -339,6 +344,11 @@ ablexpr *loc_simpablexpr( Expr ) freeablexpr( Expr ); ABL_ATOM_VALUE( ExprSimp ) = (char *)AblSimplifyTable[ Oper ][ 1 ]; + if ( Negative == 1 ) + { + ExprSimp = optimablnotexpr( ExprSimp ); + } + return( ExprSimp ); }