Ignore:
Timestamp:
Aug 6, 2003, 8:16:22 PM (17 years ago)
Author:
luba
Message:
  • type_short_int is replaced by type_int32
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/library/Vector/vector_ref.cc

    r1072 r1114  
    2020      RF_LIB_ERROR("Invalid argument");
    2121    Term* p_index = _index.get_first();
    22     rftype::ShortInt* number = p_index->cast_to<rftype::ShortInt>(type_short_int);
     22    rftype::Int32* number = p_index->cast_to<rftype::Int32>(type_int32);
    2323    if (!number)
    2424      RF_LIB_ERROR("Invalid argument");
Note: See TracChangeset for help on using the changeset viewer.