cprover
deprecate.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define DEPRECATED(msg)
 

Macro Definition Documentation

◆ DEPRECATED

#define DEPRECATED (   msg)

Definition at line 23 of file deprecate.h.