# HG changeset patch
# User wenzelm
# Date 1279803567 -7200
# Node ID 4195727a1f6c3038c934fbac150c000d911ca6ae
# Parent  0cf799737f5f886d6586559b972ae16855b1d86b
eliminated some unreferenced identifiers;

diff -r 0cf799737f5f -r 4195727a1f6c src/Pure/Concurrent/single_assignment.ML
--- a/src/Pure/Concurrent/single_assignment.ML	Thu Jul 22 14:01:43 2010 +0200
+++ b/src/Pure/Concurrent/single_assignment.ML	Thu Jul 22 14:59:27 2010 +0200
@@ -31,7 +31,7 @@
 
 fun peek (Var {var, ...}) = SingleAssignment.savalue var;
 
-fun await (v as Var {name, lock, cond, var}) =
+fun await (v as Var {name, lock, cond, ...}) =
   Simple_Thread.synchronized name lock (fn () =>
     let
       fun wait () =
diff -r 0cf799737f5f -r 4195727a1f6c src/Pure/Isar/toplevel.ML
--- a/src/Pure/Isar/toplevel.ML	Thu Jul 22 14:01:43 2010 +0200
+++ b/src/Pure/Isar/toplevel.ML	Thu Jul 22 14:59:27 2010 +0200
@@ -629,7 +629,7 @@
 
 (* managed execution *)
 
-fun run_command thy_name (tr as Transition {print, ...}) st =
+fun run_command thy_name tr st =
   (case
       (case init_of tr of
         SOME name => Exn.capture (fn () => Thy_Load.check_name thy_name name) ()