From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 24 Oct 2022 21:05:54 +0000 (+0100)
Subject: only NLnet sponsor
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c017a22c0ed010c68fce390e90e7120d8f30f4d2;p=soc.git

only NLnet sponsor
---

diff --git a/src/soc/experiment/formal/proof_compalu_multi.py b/src/soc/experiment/formal/proof_compalu_multi.py
index 2bab836a..39cad470 100644
--- a/src/soc/experiment/formal/proof_compalu_multi.py
+++ b/src/soc/experiment/formal/proof_compalu_multi.py
@@ -1,6 +1,6 @@
 # SPDX-License-Identifier: LGPLv3+
 # Copyright (C) 2022 Cesar Strauss <cestrauss@gmail.com>
-# Sponsored by NLnet and NGI POINTER under EU Grants 871528 and 957073
+# Sponsored by NLnet under EU Grant and 957073
 # Part of the Libre-SOC Project.
 
 """