1 #ifndef ROSE_Deprecated_RecursionCounter_H
2 #define ROSE_Deprecated_RecursionCounter_H
5 #include <rose_pragma_message.h>
6 ROSE_PRAGMA_MESSAGE(
"This header is deprecated; use Rose/RecursionCounter.h instead");
7 #include <Rose/RecursionCounter.h>