changeset 106:596a38ee9c9e

fix setjmp/longjmp with optimization bug (get some warnings)
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Sat, 30 Jan 2016 16:11:01 +0900
parents f9b011216f60
children