From b17ba3c67b2440d81d3aadbf6ee85cc08eacf012 Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Tue, 4 Jun 2024 17:14:36 +0200 Subject: [PATCH] add missing header --- src/data_structures/wq.mli | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/data_structures/wq.mli b/src/data_structures/wq.mli index 49500048c..df1da5f92 100644 --- a/src/data_structures/wq.mli +++ b/src/data_structures/wq.mli @@ -1,3 +1,7 @@ +(* SPDX-License-Identifier: AGPL-3.0-or-later *) +(* Copyright © 2021-2024 OCamlPro *) +(* Written by the Owi programmers *) + type !'a t val init : unit -> 'a t