diff --git a/src/lib/dune b/src/lib/dune index 13a52807..db052244 100644 --- a/src/lib/dune +++ b/src/lib/dune @@ -31,4 +31,5 @@ mtime mtime.clock.os pbrt + unix threads))