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

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 : Sat Apr 23 13:10:00 2022
-// Update Count     : 1
+// Last Modified On : Fri Feb 11 10:59:00 2022
+// Update Count     : 0
 //
 
@@ -237 +237 @@
 }
 
-std::vector<ast::ptr<ast::DeclWithType>> expandAssertions(
-                std::vector<ast::ptr<ast::DeclWithType>> const & old ) {
-        return TraitExpander::expandAssertions( old );
-}
-
 } // namespace Validate