# HG changeset patch
# User haftmann
# Date 1279281449 -7200
# Node ID b77e521e9f509159d186f4042455a82ad8a14a34
# Parent  6e17a56514cefe103d870ecc3a538ec986e9955e
tuned interpunctation

diff -r 6e17a56514ce -r b77e521e9f50 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));