public void update ( ) { if ( ( VAR_1 ) == CHAR_1 ) { VAR_2 = CHAR_1 ; <BUG> }if ( ( VAR_1 ) == CHAR_2 ) {VAR_2 = CHAR_2 ;</BUG> } }
public void update ( ) { if ( ( VAR_1 ) == CHAR_1 ) { VAR_2 = CHAR_1 ; } } 
