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

Daniel Kroening · web-flow · commit 6a16f85e51d2 · 2018-06-09T11:53:47.000+01:00
big-int copyright line
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
