1.1 --- a/src/Tools/Code/code_eval.ML	Wed Apr 21 12:11:48 2010 +0200
     1.2 +++ b/src/Tools/Code/code_eval.ML	Wed Apr 21 15:20:57 2010 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4  
     1.5  fun evaluation_code thy tycos consts =
     1.6    let
     1.7 -    val (consts', (naming, program)) = Code_Thingol.consts_program thy consts;
     1.8 +    val (consts', (naming, program)) = Code_Thingol.consts_program thy false consts;
     1.9      val tycos' = map (the o Code_Thingol.lookup_tyco naming) tycos;
    1.10      val (ml_code, target_names) = Code_ML.evaluation_code_of thy target
    1.11        eval_struct_name naming program (consts' @ tycos');