From: Jean-Paul Pelteret <jppelteret@gmail.com>
Date: Fri, 10 May 2019 20:31:40 +0000 (+0200)
Subject: Avoid a warning about an unused variable
X-Git-Tag: v9.1.0-rc1~72^2~7
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=51ba999beaf41e38c84b5a7c517f11a86b2d17be;p=dealii.git

Avoid a warning about an unused variable
---

diff --git a/source/differentiation/ad/ad_helpers.cc b/source/differentiation/ad/ad_helpers.cc
index fac44b98a5..948f00ba2f 100644
--- a/source/differentiation/ad/ad_helpers.cc
+++ b/source/differentiation/ad/ad_helpers.cc
@@ -459,6 +459,7 @@ namespace Differentiation
             // duration of the simulation, we create a global live variable
             // that doesn't go out of scope.
             static ad_type num = 0.0;
+            (void)num;
           }
     }