Changeset a32b204 for translator/ResolvExpr/FindOpenVars.h

Timestamp:

May 17, 2015, 1:19:35 PM (9 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

0dd3a2f

Parents:

b87a5ed

Message:

licencing: second groups of files

File:

• translator/ResolvExpr/FindOpenVars.h (modified) (2 diffs)

translator/ResolvExpr/FindOpenVars.h

@@ -1 @@
-/*
- * This file is part of the Cforall project
- *
- * $Id: FindOpenVars.h,v 1.3 2005/08/29 20:14:16 rcbilson Exp $
- *
- */
+//
+// 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.
+//
+// FindOpenVars.h -- 
+//
+// Author           : Richard C. Bilson
+// Created On       : Sun May 17 09:46:04 2015
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sun May 17 09:47:20 2015
+// Update Count     : 2
+//
 
-#ifndef RESOLVEXPR_FINDOPENVARS_H
-#define RESOLVEXPR_FINDOPENVARS_H
+#ifndef FINDOPENVARS_H
+#define FINDOPENVARS_H
 
 #include "Unify.h"
@@ -13 +21 @@
 
 namespace ResolvExpr {
-
-void findOpenVars( Type *type, OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen );
-
+        void findOpenVars( Type *type, OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen );
 } // namespace ResolvExpr
 
-#endif // #ifndef RESOLVEXPR_FINDOPENVARS_H
+#endif // FINDOPENVARS_H
+
+// Local Variables: //
+// tab-width: 4 //
+// mode: c++ //
+// compile-command: "make install" //
+// End: //