#270 #325 fix windows format EOL handle. https://en.wikipedia.org/wiki/Newline

Adesun

2017-12-28 ca2e92ba1a70b799717c0fc4e30806f2cf2ac388

1
2
3
+++++
val_eq (Val.add (Val.add (r3 PC) Vone) Vone) (Val.add (x2 PC) Vone)
*****