From 8d6335a17e20dc9e04cc35067af3b8922b2a0822 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 8 Jun 2018 11:52:30 +0000
Subject: [PATCH] big-int copyright line

---
 src/big-int/bigint.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/big-int/bigint.hh b/src/big-int/bigint.hh
index 1a7d51edd2e..0456e4e8c32 100644
--- a/src/big-int/bigint.hh
+++ b/src/big-int/bigint.hh
@@ -1,5 +1,5 @@
 // $Id: bigint.hh,v 1.12 2009-01-24 15:14:46 kroening Exp $
-
+// Author: Dirk Zoller
 // My own BigInt class, declaration.
 
 #ifndef BIGINT_HH