Make type alias universally available.

diff --git a/include/deal.II/base/enable_ref_counting_by_observer_pointer.h b/include/deal.II/base/enable_ref_counting_by_observer_pointer.h
index 38e19dc88ce1698a562d5ebcabfc374a276080b7..35eeeab75853b14a0be107ef0de1e35576939dfa 100644 (file)
--- a/include/deal.II/base/enable_ref_counting_by_observer_pointer.h
+++ b/include/deal.II/base/enable_ref_counting_by_observer_pointer.h
@@ -275,6 +275,18 @@ private:
   static std::mutex mutex;
 };
 
+
+/**
+ * A type alias for the EnableRefCountingByObserverPointer class that makes sure
+ * the previous name of the class, Subscriptor, continues to be available.
+ *
+ * @deprecated Use the new name of the class, ObserverPointer, instead.
+ */
+using Subscriptor DEAL_II_DEPRECATED_EARLY_WITH_COMMENT(
+  "Use the new name of the class, EnableRefCountingByObserverPointer.") =
+  EnableRefCountingByObserverPointer;
+
+
 //---------------------------------------------------------------------------
 
 inline EnableRefCountingByObserverPointer::EnableRefCountingByObserverPointer()

diff --git a/include/deal.II/base/subscriptor.h b/include/deal.II/base/subscriptor.h
index 21b43eeeb280c1e7c30d129a9c55e4d6b6b84e9f..17d4d6cdb7311284ffe57fd24852e4eda49bdf41 100644 (file)
--- a/include/deal.II/base/subscriptor.h
+++ b/include/deal.II/base/subscriptor.h
@@ -20,19 +20,4 @@
 
 #include <deal.II/base/enable_ref_counting_by_observer_pointer.h>
 
-
-DEAL_II_NAMESPACE_OPEN
-
-/**
- * A type alias for the EnableRefCountingByObserverPointer class that makes sure
- * the previous name of the class, Subscriptor, continues to be available.
- *
- * @deprecated Use the new name of the class, ObserverPointer, instead.
- */
-using Subscriptor DEAL_II_DEPRECATED_EARLY_WITH_COMMENT(
-  "Use the new name of the class, EnableRefCountingByObserverPointer.") =
-  EnableRefCountingByObserverPointer;
-
-DEAL_II_NAMESPACE_CLOSE
-
 #endif