From: Lucca Hirschi <lucca.hirschi@gmail.com>
Date: Thu, 5 Jul 2012 14:03:18 +0000 (+0200)
Subject: Final test in run_test try my.query on my.xml (from thesis) + fixs in run.ml ==>... 
X-Git-Tag: Core~1
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=d0dc6fbd661c7a79a2d8f875a204f587e6a5162d;hp=d0dc6fbd661c7a79a2d8f875a204f587e6a5162d

Final test in run_test try my.query on my.xml (from thesis) + fixs in run.ml ==> Correct answer.
---