Merge pull request diffblue#2324 from tautschnig/vs-big-int-copyright

big-int copyright line
NathanJPhillips · Jun 9, 2018 · 6a16f85 · 6a16f85
2 parents d9a2339 + 8d6335a
commit 6a16f85
Showing 1 changed file with 1 addition and 1 deletion.
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