fix typos

Signed-off-by: Qinkun Bao <[email protected]>

Author: qinkunbao

SampleCode/SampleEnclave/Enclave/Edger8rSyntax/Arrays.edl

@@ -43,7 +43,7 @@ enclave {
         /*
          * []:  can be used to declare an array.
          * [user_check]:
-         *      pointer of the array won't be valified, and the buffer pointed by 'arr' 
+         *      pointer of the array won't be verified, and the buffer pointed by 'arr' 
          *      is not copied into the enclave either. But enclave can modify the memory outside.
          */
 

SampleCode/SampleEnclave/Enclave/Edger8rSyntax/Pointers.edl

@@ -141,7 +141,7 @@ enclave {
 
         /*
          * [user_check]:
-         *      the pointer won't be valified, and the buffer pointed by 'val' is not 
+         *      the pointer won't be verified, and the buffer pointed by 'val' is not 
          *      copied to outside buffer either. Besides 'App' cannot modify the memory 
          *      pointer by 'val'.
          */

SampleCode/SampleEnclavePCL/Enclave/Edger8rSyntax/Arrays.edl

@@ -43,7 +43,7 @@ enclave {
         /*
          * []:  can be used to declare an array.
          * [user_check]:
-         *      pointer of the array won't be valified, and the buffer pointed by 'arr' 
+         *      pointer of the array won't be verified, and the buffer pointed by 'arr' 
          *      is not copied into the enclave either. But enclave can modify the memory outside.
          */
 

SampleCode/SampleEnclavePCL/Enclave/Edger8rSyntax/Pointers.edl

@@ -141,7 +141,7 @@ enclave {
 
         /*
          * [user_check]:
-         *      the pointer won't be valified, and the buffer pointed by 'val' is not 
+         *      the pointer won't be verified, and the buffer pointed by 'val' is not 
          *      copied to outside buffer either. Besides 'App' cannot modify the memory 
          *      pointer by 'val'.
          */