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

File:

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

src/ResolvExpr/Alternative.h

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