diff src/elaborate.sml @ 712:915ec60592d4

More flexible foreign keying
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 13:59:34 -0400
parents 7292bcb7c02d
children baaae037e7f6
line wrap: on
line diff
--- a/src/elaborate.sml	Thu Apr 09 12:31:56 2009 -0400
+++ b/src/elaborate.sml	Thu Apr 09 13:59:34 2009 -0400
@@ -170,7 +170,7 @@
  fun cunif (loc, k) =
      let
          val n = !count
-         val s = if n <= 26 then
+         val s = if n < 26 then
                      str (chr (ord #"A" + n))
                  else
                      "U" ^ Int.toString (n - 26)