big-int copyright line

tautschnig · tautschnig · commit 8d6335a17e20 · 2018-06-09T00:13:57.000Z
diff --git 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
