1.1 --- a/src/Tools/isac/ProgLang/termC.sml	Mon Sep 16 11:28:43 2013 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/termC.sml	Mon Sep 16 12:20:00 2013 +0200
     1.3 @@ -260,12 +260,12 @@
     1.4    | is_bdv_subst _ = false;
     1.5  
     1.6  fun free2str (Free (s,_)) = s
     1.7 -  | free2str t = error ("free2str not for "^ term2str t);
     1.8 +  | free2str t = error ("free2str not for " ^ term2str t);
     1.9  fun str_of_free_opt (Free (s,_)) = SOME s
    1.10    | str_of_free_opt _ = NONE
    1.11  fun free2int (t as Free (s, _)) = ((str2int s)
    1.12 -    handle _ => error ("free2int: "^term_detail2str t))
    1.13 -  | free2int t = error ("free2int: "^term_detail2str t);
    1.14 +    handle _ => error ("free2int: " ^ term_detail2str t))
    1.15 +  | free2int t = error ("free2int: " ^ term_detail2str t);
    1.16  
    1.17  (*compare Logic.unvarify_global, which rejects Free*)
    1.18  fun var2free (t as Const(s,T)) = t