Update specification.tex

diff --git a/doc/specification.tex b/doc/specification.tex
index 2687946f1da77fe0e1572fe2d042e95f86f0b3f7..c759d581ac1562c81bab8dc99d643be0c387ba71 100644 (file)
--- a/doc/specification.tex
+++ b/doc/specification.tex
@@ -363,17 +363,17 @@ types, as follows:
 
 \begin{itemize}
        \item An array type describes a contiguously allocated nonempty set of objects with a 
-             particular object type, called the element type. Array types are characterized 
-             by their element type and by the number of elements in the array.  An array type
-             is said to be derived     from its element type, and if its element is type T, the 
-             array type is sometimes called "array of T".  The construction of an array type
-                 from an element type is called "array type derivation".
+          particular object type, called the element type. Array types are characterized 
+          by their element type and by the number of elements in the array.  An array type
+          is said to be derived        from its element type, and if its element is type T, the 
+          array type is sometimes called "array of T".  The construction of an array type
+          from an element type is called "array type derivation".
        \item A function type describes a function with a specified return type. A function
-                 type is characterized by its return type and the number and types of its
-                 parameters. A function type is said to be derived from its return type, and if 
-                 its return type is T, the function type is sometimes called "function returning
-                  T". The construction of a function type from a return type is called "function
-                  type derivation".
+          type is characterized by its return type and the number and types of its
+          parameters. A function type is said to be derived from its return type, and if 
+          its return type is T, the function type is sometimes called "function returning
+          T". The construction of a function type from a return type is called "function
+          type derivation".
 \end{itemize}
 
 Arithmetic types are collectively called scalar types. Arrays and vectors are