1.1 --- a/src/Tools/isac/Interpret/calchead.sml	Mon Apr 18 14:43:26 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/calchead.sml	Mon Apr 18 15:24:57 2011 +0200
     1.3 @@ -1887,6 +1887,7 @@
     1.4  fun pt_extract (pt,([],Res)) =
     1.5  (* val (pt,([],Res)) = ptp;
     1.6     *)
     1.7 +    (* ML_TODO 110417 get assumptions from ctxt !? *)
     1.8      let val (f, asm) = get_obj g_result pt []
     1.9      in (Form f, NONE, asm) end
    1.10  (* val p = [3,2];