Commit 923c1828 authored by POTTIER Francois's avatar POTTIER Francois

Updated comments.

parent e5ba1f62
......@@ -599,7 +599,7 @@ let q =
(* In principle, there is no need to insert the fact into the queue if [F]
already stores a comparable fact. We could perform this test in [enqueue].
However, a quick experiment suggests that this is not worthwhile. The run
However, a few experiments suggests that this is not worthwhile. The run
time augments (because membership in [F] is tested twice, upon inserting
and upon extracting) and the memory consumption does not seem to go down
significantly. *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment