Don't duplicate unnecessary call to D.get_info.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 3 Sep 2008 16:36:04 +0000 (17:36 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 3 Sep 2008 16:36:04 +0000 (17:36 +0100)
commit816bd1fb22633c32f5a744411d640ab97a00809d
tree5e1fd848caa753e1cdd14a9b42dbb82e4f649eea
parent40a01d1ac4c73496e06944fc1910694908f3442d
Don't duplicate unnecessary call to D.get_info.
mlvirsh/mlvirsh.ml