Ludo's bug fix
This commit is contained in:
parent
3aa90432c0
commit
ffe1c7a3d3
|
@ -4,7 +4,7 @@
|
||||||
| (C) Laboratoire LIP6 - Département ASIM Universite P&M Curie|
|
| (C) Laboratoire LIP6 - Département ASIM Universite P&M Curie|
|
||||||
| |
|
| |
|
||||||
| Home page : http://www-asim.lip6.fr/alliance/ |
|
| 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 |
|
| This progam is free software; you can redistribute it |
|
||||||
| and/or modify it under the terms of the GNU Library General|
|
| and/or modify it under the terms of the GNU Library General|
|
||||||
|
@ -203,6 +203,11 @@ ablexpr *simpdupexpr( Expr )
|
||||||
freeablexpr( Expr );
|
freeablexpr( Expr );
|
||||||
ABL_ATOM_VALUE( ExprSimp ) = (char *)AblSimplifyTable[ Oper ][ 1 ];
|
ABL_ATOM_VALUE( ExprSimp ) = (char *)AblSimplifyTable[ Oper ][ 1 ];
|
||||||
|
|
||||||
|
if ( Negative == 1 )
|
||||||
|
{
|
||||||
|
return( optimablnotexpr( ExprSimp ) );
|
||||||
|
}
|
||||||
|
|
||||||
return( ExprSimp );
|
return( ExprSimp );
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -339,6 +344,11 @@ ablexpr *loc_simpablexpr( Expr )
|
||||||
freeablexpr( Expr );
|
freeablexpr( Expr );
|
||||||
ABL_ATOM_VALUE( ExprSimp ) = (char *)AblSimplifyTable[ Oper ][ 1 ];
|
ABL_ATOM_VALUE( ExprSimp ) = (char *)AblSimplifyTable[ Oper ][ 1 ];
|
||||||
|
|
||||||
|
if ( Negative == 1 )
|
||||||
|
{
|
||||||
|
ExprSimp = optimablnotexpr( ExprSimp );
|
||||||
|
}
|
||||||
|
|
||||||
return( ExprSimp );
|
return( ExprSimp );
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue