diff --git a/ialloc.c b/ialloc.c
index dfb58c5..3eced54 100644
--- a/ialloc.c
+++ b/ialloc.c
@@ -1,3 +1,8 @@
+/*
+** This file is in the public domain, so clarified as of
+** 2006-07-17 by Arthur David Olson.
+*/
+
 #ifndef lint
 #ifndef NOID
 static char	elsieid[] = "%W%";