Fix nasty de Bruijn substitution bug; TcSum demo

1 files changed, 7 insertions, 7 deletions

diff --git a/src/core_env.sml b/src/core_env.sml
index a4b48b8d..b399f62f 100644
--- a/src/core_env.sml
+++ b/src/core_env.sml
@@ -82,13 +82,13 @@ val liftConInExp =
 val subConInExp =
     U.Exp.mapB {kind = fn k => k,
                 con = fn (xn, rep) => fn c =>
-                                  case c of
-                                      CRel xn' =>
-                                      (case Int.compare (xn', xn) of
-                                           EQUAL => #1 rep
-                                         | GREATER => CRel (xn' - 1)
-                                         | LESS => c)
-                                    | _ => c,
+                                         case c of
+                                             CRel xn' =>
+                                             (case Int.compare (xn', xn) of
+                                                  EQUAL => #1 rep
+                                                | GREATER => CRel (xn' - 1)
+                                                | LESS => c)
+                                           | _ => c,
                 exp = fn _ => fn e => e,
                 bind = fn ((xn, rep), U.Exp.RelC _) => (xn+1, liftConInCon 0 rep)
                         | (ctx, _) => ctx}