Changeset fc638d2 for src/ResolvExpr/TypeEnvironment.h

Timestamp:

Dec 13, 2016, 4:13:08 PM (8 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

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

Children:

7933351

Parents:

f7e749f

Message:

fixed StmtExpr? code in PolyMutator?, added missing copy constructor, misc documentation

File:

• src/ResolvExpr/TypeEnvironment.h (modified) (1 diff)

src/ResolvExpr/TypeEnvironment.h

@@ -29 +29 @@
 namespace ResolvExpr {
         struct AssertCompare {
-                bool operator()( DeclarationWithType * d1, DeclarationWithType * d2 );
+                bool operator()( DeclarationWithType * d1, DeclarationWithType * d2 ) const;
         };
         typedef std::map< DeclarationWithType*, bool, AssertCompare > AssertionSet;