Merge branch 'master'
[YACASL2.git] / monitor / revert_hello.monitor
1 l hello.o
2 d a 0 #22
3 r 0 #22