model: Fix indentation
authorJean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Fri, 24 Mar 2017 04:37:11 +0000 (00:37 -0400)
committerJean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Sun, 26 Mar 2017 03:43:25 +0000 (23:43 -0400)
Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

src/model/model.nit

index 2243a88..0d8d6ad 100644 (file)
@@ -898,7 +898,7 @@ abstract class MType
        #
        # Explanation of the example:
        # In H, T is set to B, because "H super G[B]", and U is bound to Y,
-        # because "redef type U: Y". Therefore, Map[T, U] is bound to
+       # because "redef type U: Y". Therefore, Map[T, U] is bound to
        # Map[B, Y]
        #
        # ENSURE: `not self.need_anchor implies result == self`