Changes in src/ResolvExpr/Alternative.h [234b1cb:fd642d2]

File:

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

src/ResolvExpr/Alternative.h

@@ -29 +29 @@
         /// One assertion to resolve
         struct AssertionItem {
-                DeclarationWithType* decl;
+                const DeclarationWithType* decl;
                 AssertionSetValue info;
-                
+
                 AssertionItem() = default;
-                AssertionItem( DeclarationWithType* decl, const AssertionSetValue& info ) 
+                AssertionItem( const DeclarationWithType* decl, const AssertionSetValue& info )
                 : decl(decl), info(info) {}
                 AssertionItem( const AssertionSet::value_type& e ) : decl(e.first), info(e.second) {}