Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorhaftmann
Tue, 26 Oct 2010 12:16:08 +0200
changeset 40168 1c7e836872b0
parent 40166 d3bc972b7d9d (current diff)
parent 40167 e44d04716920 (diff)
child 40175 397b791e8411
child 40176 d88c47ca4557
merged
--- a/src/Tools/Code/code_preproc.ML	Tue Oct 26 11:51:09 2010 +0200
+++ b/src/Tools/Code/code_preproc.ML	Tue Oct 26 12:16:08 2010 +0200
@@ -480,7 +480,6 @@
     val consts = fold_aterms
       (fn Const (c, _) => insert (op =) c | _ => I) t' [];
     val (algebra', eqngr') = obtain false thy consts [t'];
-    val result = evaluator algebra' eqngr' vs' t';
   in
     evaluator algebra' eqngr' vs' t'
     |> postproc (postprocess_term thy o resubst)
isabelle