From: Samuel A. Falvo II <kc5tja@arrl.net>
Date: Thu, 3 Sep 2020 22:12:58 +0000 (-0700)
Subject: Provide full name and email in copyright notice.
X-Git-Tag: semi_working_ecp5~207
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=77c2793ddb48459acf82caa5cb263f37c5fe2ac7;p=soc.git

Provide full name and email in copyright notice.
---

diff --git a/src/soc/fu/mul/formal/proof_main_stage.py b/src/soc/fu/mul/formal/proof_main_stage.py
index 51019e24..0cf767f3 100644
--- a/src/soc/fu/mul/formal/proof_main_stage.py
+++ b/src/soc/fu/mul/formal/proof_main_stage.py
@@ -1,7 +1,7 @@
 # Proof of correctness for multiplier
 # Copyright (C) 2020 Michael Nolan <mtnolan2640@gmail.com>
 # Copyright (C) 2020 Luke Kenneth Casson Leighton <lkcl@lkcl.net>
-# Copyright (C) 2020 Samuel Falvo
+# Copyright (C) 2020 Samuel A. Falvo II <kc5tja@arrl.net>
 
 """Formal Correctness Proof for POWER9 multiplier