add author section to satisfy cpplint

kroening · kroening · commit e719c8b10b4b · 2023-11-27T13:47:14.000-08:00
diff --git a/src/big-int/allocainc.h b/src/big-int/allocainc.h
@@ -1,4 +1,10 @@
-// $Id: allocainc.h,v 1.7 2005-12-25 14:44:24 kroening Exp $
+/*******************************************************************\
+
+Module: Big Integers
+
+Author: Daniel Kroening, dkr@amazon.com
+
+\*******************************************************************/
 
 // Whatever is necessary to use alloca().
 
