From 77c2793ddb48459acf82caa5cb263f37c5fe2ac7 Mon Sep 17 00:00:00 2001
From: "Samuel A. Falvo II" <kc5tja@arrl.net>
Date: Thu, 3 Sep 2020 15:12:58 -0700
Subject: [PATCH] Provide full name and email in copyright notice.

---
 src/soc/fu/mul/formal/proof_main_stage.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.30.2