--- a/src/cloconv.sml	Thu Jun 26 11:32:29 2008 -0400
+++ b/src/cloconv.sml	Thu Jun 26 12:12:06 2008 -0400
@@ -55,10 +55,10 @@
                 exp = fn (xn, rep) => fn e =>
                                   case e of
                                       L'.ERel xn' =>
-                                      if xn = xn' then
-                                          #1 rep
-                                      else
-                                          e
+                                      (case Int.compare (xn', xn) of
+                                           EQUAL => #1 rep
+                                         | GREATER => L'.ERel (xn' - 1)
+                                         | _ => e)
                                     | _ => e,
                 bind = fn ((xn, rep), U.Exp.RelE _) => (xn+1, liftExpInExp 0 rep)
                         | (ctx, _) => ctx}