Changes in src/Validate/ForallPointerDecay.hpp [298fe57:9490621]

File:

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

src/Validate/ForallPointerDecay.hpp

@@ -10 +10 @@
 // Created On       : Tue Dec  7 16:15:00 2021
 // Last Modified By : Andrew Beach
-// Last Modified On : Sat Apr 23 13:13:00 2022
-// Update Count     : 1
+// Last Modified On : Tue Dec  8 11:50:00 2021
+// Update Count     : 0
 //
 
 #pragma once
 
-#include <vector>
-#include "AST/Node.hpp"
-
 namespace ast {
-        class DeclWithType;
         class TranslationUnit;
 }
@@ -31 +27 @@
 void decayForallPointers( ast::TranslationUnit & transUnit );
 
-/// Expand all traits in an assertion list.
-std::vector<ast::ptr<ast::DeclWithType>> expandAssertions(
-        std::vector<ast::ptr<ast::DeclWithType>> const & );
-
 }