From 6b58e3ed6a2664817711bae2b41b5503fc1dfc01 Mon Sep 17 00:00:00 2001 From: wolf Date: Wed, 16 Oct 2002 15:40:10 +0000 Subject: [PATCH] Comment out unused variable. git-svn-id: https://svn.dealii.org/trunk@6661 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/contrib/hsl/source/detached_ma27.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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())); -- 2.39.5