more bug fixes
authorbdemsky <bdemsky>
Fri, 15 Apr 2011 21:50:06 +0000 (21:50 +0000)
committerbdemsky <bdemsky>
Fri, 15 Apr 2011 21:50:06 +0000 (21:50 +0000)
commitde3bffc9b168163cbce8834faccc435affb23d1b
tree28cf96786ce73f3a92aafc74f1e34aa102e3dfef
parent3f43f791dc3a5514c15c65abc154730ceb7a9a90
more bug fixes
Robust/src/IR/Flat/BuildCode.java
Robust/src/Runtime/garbage.h
Robust/src/Runtime/jni/jni-private.h
Robust/src/Runtime/jni/jni-stuff.c