Small bugfix.
authorSimon Castellan <simon.castellan@iuwt.fr>
Mon, 26 Jul 2010 20:17:31 +0000 (22:17 +0200)
committerSimon Castellan <simon.castellan@iuwt.fr>
Mon, 26 Jul 2010 20:17:31 +0000 (22:17 +0200)
commit73e6e2d2343ac059a96b3ce1d048245a5ec371c2
tree75dc7bc6ce4fc8ee4d3c8b62691129eb1606937a
parent981538f14c7354f96c0241bbeb96a3f741c834fe
Small bugfix.
main.ml