bug-prolog
[Top][All Lists]
Advanced

[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
===============================================





reply via email to

[Prev in Thread] Current Thread [Next in Thread]