[gobo-eiffel-commits] CVS: gobo/library/kernel/basic kl_string_routines.ge,1.14,1.15

[Eric B. <er...@us...>]

Update of /cvsroot/gobo-eiffel/gobo/library/kernel/basic
In directory sc8-pr-cvs1:/tmp/cvs-serv15880/library/kernel/basic

Modified Files:
	kl_string_routines.ge 
Log Message:
Convention to designate ISE 5.1:

  #ifdef (ISE && ISE_5_1)

Index: kl_string_routines.ge
===================================================================
RCS file: /cvsroot/gobo-eiffel/gobo/library/kernel/basic/kl_string_routines.ge,v
retrieving revision 1.14
retrieving revision 1.15
diff -C2 -r1.14 -r1.15
*** kl_string_routines.ge	27 Oct 2003 00:11:30 -0000	1.14
--- kl_string_routines.ge	27 Oct 2003 01:07:56 -0000	1.15
***************
*** 851,855 ****
  			a_string_not_void: a_string /= Void
  			valid_insertion_index: 1 <= i and i <= a_string.count + 1
! #ifdef ISE_5_1
  		local
  			uc_string: UC_STRING
--- 851,855 ----
  			a_string_not_void: a_string /= Void
  			valid_insertion_index: 1 <= i and i <= a_string.count + 1
! #ifdef (ISE && ISE_5_1)
  		local
  			uc_string: UC_STRING