Index: src/ResolvExpr/module.mk
===================================================================
--- src/ResolvExpr/module.mk	(revision d1d17f5e86cf06a6c65689d3d2bd964737fb07b3)
+++ src/ResolvExpr/module.mk	(revision 6e7e2b36dcaa528c1778f81efe7654e171fb2197)
@@ -1,2 +1,18 @@
+######################### -*- Mode: Makefile-Gmake -*- ########################
+##
+## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
+##
+## The contents of this file are covered under the licence agreement in the
+## file "LICENCE" distributed with Cforall.
+##
+## module.mk -- 
+##
+## Author           : Richard C. Bilson
+## Created On       : Mon Jun  1 17:49:17 2015
+## Last Modified By : Peter A. Buhr
+## Last Modified On : Mon Jun  1 17:53:28 2015
+## Update Count     : 1
+###############################################################################
+
 SRC += ResolvExpr/AlternativeFinder.cc \
        ResolvExpr/Alternative.cc \