eliminated some unreferenced identifiers;
authorwenzelm
Thu Jul 22 14:59:27 2010 +0200 (2010-07-22 ago)
changeset 379064195727a1f6c
parent 37905 0cf799737f5f
child 37907 f18c4bc8b028
eliminated some unreferenced identifiers;
src/Pure/Concurrent/single_assignment.ML
src/Pure/Isar/toplevel.ML
     1.1 --- a/src/Pure/Concurrent/single_assignment.ML	Thu Jul 22 14:01:43 2010 +0200
     1.2 +++ b/src/Pure/Concurrent/single_assignment.ML	Thu Jul 22 14:59:27 2010 +0200
     1.3 @@ -31,7 +31,7 @@
     1.4  
     1.5  fun peek (Var {var, ...}) = SingleAssignment.savalue var;
     1.6  
     1.7 -fun await (v as Var {name, lock, cond, var}) =
     1.8 +fun await (v as Var {name, lock, cond, ...}) =
     1.9    Simple_Thread.synchronized name lock (fn () =>
    1.10      let
    1.11        fun wait () =
     2.1 --- a/src/Pure/Isar/toplevel.ML	Thu Jul 22 14:01:43 2010 +0200
     2.2 +++ b/src/Pure/Isar/toplevel.ML	Thu Jul 22 14:59:27 2010 +0200
     2.3 @@ -629,7 +629,7 @@
     2.4  
     2.5  (* managed execution *)
     2.6  
     2.7 -fun run_command thy_name (tr as Transition {print, ...}) st =
     2.8 +fun run_command thy_name tr st =
     2.9    (case
    2.10        (case init_of tr of
    2.11          SOME name => Exn.capture (fn () => Thy_Load.check_name thy_name name) ()