[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: seg fault in 1.2.1
From: |
Daniel Diaz |
Subject: |
Re: seg fault in 1.2.1 |
Date: |
Thu, 07 Jun 2001 20:30:35 +0200 |
Thanks for the bug report. I have fixed it. If you have a source distribution
you can replace the file src/BipsFD/fd_symbolic_c.c by the modified version
that can be get on the CVS at sourceforge:
http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/gprolog/src/src/BipsFD/fd_symbo
lic_c.c
then recompile and reinstall...
address@hidden said:
> Hi,
> I am using GNU Prolog version 1.2.1 under RedHat 6.1 (installed using
> rpm available from web site) and I get the following seg fault:
> | ?- I0 #= I +1, fd_element_var(I0, [1,2,3], X), fd_labeling([I,X]).
> I = 0 I0 = 1 X = 1 ?
> I = 1 I0 = 2 X = 2 ?
> Fatal Error: Segmentation Violation
--
===============================================
Daniel Diaz
University of Paris 1 INRIA Rocquencourt
75013 Paris FRANCE 78153 Le Chesnay FRANCE
web: http://pauillac.inria.fr/~diaz
email: address@hidden
===============================================