fix dbqueues (obs from Paulo Moura).
This commit is contained in:
parent
4e5fe4186f
commit
dd6426b3b9
@ -1,11 +1,11 @@
|
||||
% A library to implement queues of NB Terms
|
||||
|
||||
:- module(nbqueue, [
|
||||
nb_enqueue/2,
|
||||
nb_dequeue/2,
|
||||
nb_clean_queue/1
|
||||
nb_size/2
|
||||
]).
|
||||
nb_enqueue/2,
|
||||
nb_dequeue/2,
|
||||
nb_clean_queue/1,
|
||||
nb_size/2
|
||||
]).
|
||||
|
||||
|
||||
:- unhide('$init_nb_queue').
|
||||
|
Reference in New Issue
Block a user