optimization (or bug fix) depending on how you view it
authorbdemsky <bdemsky>
Wed, 22 Apr 2009 09:14:43 +0000 (09:14 +0000)
committerbdemsky <bdemsky>
Wed, 22 Apr 2009 09:14:43 +0000 (09:14 +0000)
commit0ee61d04531ba8669f3ce4e7d597766f7c4904d3
treec6a92a5dc3b2d2ad4b6c15d5d3b3aa3aafef722e
parentf6fb9c64a474fa877fc4902e841e97a7eb31be02
optimization (or bug fix) depending on how you view it
Robust/src/ClassLibrary/Vector.java
Robust/src/Runtime/runtime.c