PR# 14133 Run Finalized actually runs W_Code

Problem Report Summary
Submitter: randyjohn
Category: EiffelStudio
Priority: Medium
Date: 2008/03/25
Class: Bug
Severity: Serious
Number: 14133
Confidential: No
Status: Closed
Environment: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1; .NET CLR 1.1.4322)
Synopsis: Run Finalized actually runs W_Code

If you select Project/Run Finalized System from the menu, you actually run the W_Code.
To Reproduce

Problem Report Interactions
From:jfiat_es    Date:2008/03/25    Status: Closed    Download   
Fixed by revision rev#72871, the correction will be included in next release.
Thank you for your report