fixing the bug in maxcost-test knowlp#1

Author: selineyp

examples/maxcost-test

@@ -1,5 +1,8 @@
 
-java -jar ../xhail-0.5.2/xhail.jar -b -c /home/travis/miniconda/envs/test/clasp -g /home/travis/miniconda/envs/test/bin/gringo toys/example1.lp 5
+java -jar ../xhail-0.5.2/xhail.jar -b -c /home/travis/miniconda/envs/test/bin/clasp -g /home/travis/miniconda/envs/test/bin/gringo toys/example1.lp 8
+
+/home/travis/miniconda/envs/test/bin/clasp --version
+
 
 for ex in toys/*.lp; do
   for cost in {5..10}; do