correction of LIBINCLUDES in Makefile.in now ocamlgraph can be used properly in hypothesis_selection
correction of LIBINCLUDES in Makefile.in
now ocamlgraph can be used properly in hypothesis_selection

jpdeplaix/why3,jpdeplaix/why3,ssaavedra/why3,ssaavedra/why3,douglas-larocca/why3,douglas-larocca/why3,ssaavedra/why3,jpdeplaix/why3,douglas-larocca/why3