Forward declare namespacet dependency

Sonny Martin · Sonny Martin · commit 1de25164cc89 · 2018-10-17T14:42:26.000+01:00
diff --git a/src/util/validate.h b/src/util/validate.h
@@ -15,6 +15,8 @@ Author: Daniel Poetzl
 #include "invariant.h"
 #include "irep.h"
 
+class namespacet;
+
 enum class validation_modet
 {
   INVARIANT,
