author | haftmann |
Fri, 16 Jul 2010 13:57:29 +0200 | |
changeset 37839 | b77e521e9f50 |
parent 37837 | 6e17a56514ce |
child 37840 | a3632a0b7d6c |
--- a/src/Tools/Code/code_simp.ML Thu Jul 15 10:16:17 2010 +0200 +++ b/src/Tools/Code/code_simp.ML Fri Jul 16 13:57:29 2010 +0200 @@ -57,7 +57,7 @@ ss addsimps (map (fst o snd) classparam_instances) | add_stmt _ ss = ss; -val add_program = Graph.fold (add_stmt o fst o snd) +val add_program = Graph.fold (add_stmt o fst o snd); fun rewrite_modulo thy some_ss program = Simplifier.full_rewrite (add_program program (simpset_default thy some_ss));