PR# 12491 Search finds KL_FILE_SYSTEM twice

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: Medium
Date: 2007/04/17
Class: Bug
Severity: Serious
Number: 12491
Release: 6.0.6.7849
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3
Synopsis: Search finds KL_FILE_SYSTEM twice

Description
I am trying to figure out how to use KL_FILE_SYSTEM, which is not compiled in my project, so I decided to do a custom search within the gobo library.

The Search Report window shows "5 matches in 5 classes":

KL_FILE_SYSTEM
KL_UNIX_FILE_SYSTEM
KL_SHARED_FILE_SYSTEM
KL_WINDOWS_FILE_SYSTEM
KL_FILE_SYSTEM

KL_FILE_SYSTEM appears twice in the list. Exactly the same match appears twice!
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:ted_eiffel   
											Date:2007/04/18   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
This has been fixed.
Thanks for reporting.