Bug fixed for stdin and stdout in a different platform.
authorwang <wang@wang-OptiPlex-7010.(none)>
Wed, 9 Oct 2013 00:27:04 +0000 (02:27 +0200)
committerwang <wang@wang-OptiPlex-7010.(none)>
Wed, 9 Oct 2013 00:27:04 +0000 (02:27 +0200)
commit50baab1849bddf73ee88b54f52b28060de1ce289
tree5728eea9b74f8454edada380725452bd2f2a4f19
parente9823a113b28e33924bc23b08e1a34a80ffec8ee
Bug fixed for stdin and stdout in a different platform.
Tested by "make test".
Makefile
interpreter/main.ml