1.1 --- a/src/Tools/isac/ProgLang/termC.sml	Fri Sep 13 18:57:11 2013 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/termC.sml	Mon Sep 16 10:46:51 2013 +0200
     1.3 @@ -261,6 +261,8 @@
     1.4  
     1.5  fun free2str (Free (s,_)) = s
     1.6    | free2str t = error ("free2str not for "^ term2str t);
     1.7 +fun str_of_free_opt (Free (s,_)) = SOME s
     1.8 +  | str_of_free_opt _ = NONE
     1.9  fun free2int (t as Free (s, _)) = ((str2int s)
    1.10      handle _ => error ("free2int: "^term_detail2str t))
    1.11    | free2int t = error ("free2int: "^term_detail2str t);