Replaced '\r' and '\n' by 0x0d and 0x0a

AlexeyAB

2018-01-22 7c4a78b86301f780b938f3366bc75232acb1603e

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