/[eiffelstudio]/branches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_expression_translator.e
ViewVC logotype

Diff of /branches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_expression_translator.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 93377 by julian, Wed Nov 13 17:15:59 2013 UTC revision 93378 by julian, Thu Nov 14 15:57:08 2013 UTC
# Line 713  feature -- Visitors Line 713  feature -- Visitors
713                                          l_target_type := current_target_type                                          l_target_type := current_target_type
714    
715                                          current_target := last_expression                                          current_target := last_expression
716                                          l_target_type := l_nested.target.type                                          current_target_type := l_nested.target.type
717                                          l_nested.message.process (Current)                                          l_nested.message.process (Current)
718    
719                                          current_target := l_target                                          current_target := l_target

Legend:
Removed from v.93377  
changed lines
  Added in v.93378

  ViewVC Help
Powered by ViewVC 1.1.23