Segmentation Fault in very simple example

[elsac]

Hello

here is my problem.

I installed mathlib and gaol (compiling and installing).
Then, I go to the examples directory and do

g++ -c hunter.cpp

[everything OK]
[then]

g++ -o hunter hunter.o -lelisa

[I can put all the other libraries that are recommended but the result is the same]
[everything ok]
[then]

./hunter
[and the result]
Automatic initialization of gaol... done
Shooting points
Segmentation fault

I've already spoted where the error is: its in solver.next or solver.split
class ChangeHeap - method checkBox

I need help, please. I want to use elisa, but like this it is impossible.
By the way, solver.reduce works fine.

Thank you

   Elsa Carvalho