Update to prevent the error at Line 74: data being one-dimensional

mhaghighat

2018-08-15 756a3144cc5d055ecd2f769ce816f55f2fc1d880

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