| changeset 25103 | 1ee419a5a30f |
| parent 24969 | b38527eefb3b |
| child 25485 | 33840a854e63 |
--- a/src/Tools/code/code_funcgr.ML Fri Oct 19 19:45:29 2007 +0200 +++ b/src/Tools/code/code_funcgr.ML Fri Oct 19 19:45:31 2007 +0200 @@ -302,7 +302,7 @@ val drop = drop_classes thy tfrees; val instdefs = instances_of_consts thy algebra funcgr' c_exprs; val funcgr'' = ensure_consts thy algebra instdefs funcgr'; - in (f drop thm5 funcgr'' ct'' , funcgr'') end; + in (f drop thm5 funcgr'' ct'', funcgr'') end; fun raw_eval_conv thy conv = let