[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Error on --min-pl-bips
|
From: |
Daniel Diaz |
|
Subject: |
Re: Error on --min-pl-bips |
|
Date: |
Mon, 11 Dec 2000 11:58:05 +0100 |
There is a little mistake in my last message, use:
:- ensure_linked((@>)/2).
(and not :- ensure_directive((@>)/2). as I wrote).
--
===============================================
Daniel Diaz
University of Paris 1 INRIA Rocquencourt
75013 Paris FRANCE 78153 Le Chesnay FRANCE
web: http://pauillac.inria.fr/~diaz
email: address@hidden
===============================================