From: wolf Date: Wed, 16 Oct 2002 15:40:10 +0000 (+0000) Subject: Comment out unused variable. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6b58e3ed6a2664817711bae2b41b5503fc1dfc01;p=dealii-svn.git Comment out unused variable. git-svn-id: https://svn.dealii.org/trunk@6661 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/contrib/hsl/source/detached_ma27.cc b/deal.II/contrib/hsl/source/detached_ma27.cc index f0f86a8836..45ea4dab27 100644 --- a/deal.II/contrib/hsl/source/detached_ma27.cc +++ b/deal.II/contrib/hsl/source/detached_ma27.cc @@ -217,7 +217,7 @@ int main () get (&master_pid, 1, "master_pid"); // ...and start off a thread that // actually checks that - Threads::ThreadManager thread_manager; +// Threads::ThreadManager thread_manager; // Threads::spawn (thread_manager, // Threads::encapsulate (&monitor_parent_liveness) // .collect_args(master_pid, getpid()));