diff options
Diffstat (limited to 'gcc/ada/vast.ads')
| -rw-r--r-- | gcc/ada/vast.ads | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/gcc/ada/vast.ads b/gcc/ada/vast.ads index 031ea21..faecd9a 100644 --- a/gcc/ada/vast.ads +++ b/gcc/ada/vast.ads @@ -24,13 +24,10 @@ ------------------------------------------------------------------------------ -- This package is the entry point for VAST: Verifier for the Ada Semantic --- Tree. - -with Types; use Types; +-- Tree. It walks the expanded trees, and verifies their validity. package VAST is - procedure Check_Tree (GNAT_Root : Node_Id); - -- Check the validity of the given Root tree + procedure VAST; end VAST; |