Show
Ignore:
Timestamp:
08/24/08 12:32:06 (3 months ago)
Author:
pmoura
Message:

Corrected a bug in the verification of portable calls that would fail to flag the soft-cut control construct (_ *-> _; _) found on some Prolog compilers.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/RELEASE_NOTES.txt

    r4445 r4446  
    4545    when using SWI-Prolog as the back-end compiler by making the lookup caches  
    4646    thread local. 
     47 
     48    Corrected a bug in the verification of portable calls that would fail to  
     49    flag the soft-cut control construct (_ *-> _; _) found on some Prolog  
     50    compilers. 
    4751 
    4852    Corrected a bug in the implementation of the built-in database predicates