1.1 --- a/src/Tools/isac/Interpret/generate.sml	Wed Oct 06 15:12:41 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/generate.sml	Fri Oct 08 18:51:23 2010 +0200
     1.3 @@ -246,8 +246,8 @@
     1.4  (* init pbl with ...,dsc,empty | [] *)
     1.5  fun init_pbl pbt = 
     1.6    let 
     1.7 -    fun pbt2itm (f,(d,t)) = 
     1.8 -      ((0,[],false,f,Inc((d,[]),(e_term,[]))):itm);
     1.9 +      fun pbt2itm (f, (d, t)) = 
    1.10 +          ((0, [], false, f, Inc ((d, []), (e_term, []))) : itm);
    1.11    in map pbt2itm pbt end;
    1.12  (*take formal parameters from pbt, for transfer from pbl/met-hierarchy*)
    1.13  fun init_pbl' pbt =