src/Tools/Code/code_simp.ML

--- 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));