1.1 --- a/src/Tools/Code/code_ml.ML	Thu Jul 29 12:28:45 2010 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Thu Jul 29 12:28:45 2010 +0200
     1.3 @@ -987,7 +987,8 @@
     1.4        )))
     1.5    #> fold (Code_Target.add_reserved target_SML) ML_Syntax.reserved_names
     1.6    #> fold (Code_Target.add_reserved target_SML)
     1.7 -      ["o" (*dictionary projections use it already*), "Fail", "div", "mod" (*standard infixes*), "IntInf"]
     1.8 +      ["ref" (*rebinding is illegal*), "o" (*dictionary projections use it already*),
     1.9 +        "Fail", "div", "mod" (*standard infixes*), "IntInf"]
    1.10    #> fold (Code_Target.add_reserved target_OCaml) [
    1.11        "and", "as", "assert", "begin", "class",
    1.12        "constraint", "do", "done", "downto", "else", "end", "exception",