Fix typos in the name of a property and method used for handling

Absy metadata. This feature is very new so it is unlikely any out
of tree code (apart from my own) is using it so this change shouldn't
be disruptive.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index cd0c810c..098a47fa 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -189,7 +189,7 @@ namespace Microsoft.Boogie {
     /// The numbered meta data enumerable that looks like the Enumerable

     /// of a dictionary.

     /// </value>

-    public IEnumerable<KeyValuePair<int, Object>> NumberedMetaData

+    public IEnumerable<KeyValuePair<int, Object>> NumberedMetadata

     {

       get {

         if (InternalNumberedMetadata == null)

@@ -207,7 +207,7 @@ namespace Microsoft.Boogie {
     /// <returns>The stored metadata of type T</returns>

     /// <param name="index">The index of the metadata</param>

     /// <typeparam name="T">The type of the metadata object required</typeparam>

-    public T GetMetatdata<T>(int index) {

+    public T GetMetadata<T>(int index) {

       // We aren't using NumberedMetadataLock for speed. Perhaps we should be using it?

       if (InternalNumberedMetadata == null)

         throw new ArgumentOutOfRangeException();