We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d6fe547 commit 81732d2Copy full SHA for 81732d2
src/util/validate.h
@@ -15,6 +15,8 @@ Author: Daniel Poetzl
15
#include "invariant.h"
16
#include "irep.h"
17
18
+class namespacet;
19
+
20
enum class validation_modet
21
{
22
INVARIANT,
0 commit comments