Changes in src/Validate/ForallPointerDecay.cpp [b230091:298fe57]

File:

• src/Validate/ForallPointerDecay.cpp (modified) (2 diffs)

src/Validate/ForallPointerDecay.cpp

@@ -10 +10 @@
 // Created On       : Tue Dec  7 16:15:00 2021
 // Last Modified By : Andrew Beach
-// Last Modified On : Fri Feb 11 10:59:00 2022
-// Update Count     : 0
+// Last Modified On : Sat Apr 23 13:10:00 2022
+// Update Count     : 1
 //
 
@@ -237 +237 @@
 }
 
+std::vector<ast::ptr<ast::DeclWithType>> expandAssertions(
+                std::vector<ast::ptr<ast::DeclWithType>> const & old ) {
+        return TraitExpander::expandAssertions( old );
+}
+
 } // namespace Validate