diff --git a/src/VlcBucket.h b/src/VlcBucket.h
index cca198bde..3d46bd4c7 100644
--- a/src/VlcBucket.h
+++ b/src/VlcBucket.h
@@ -20,7 +20,9 @@
 #include "config_build.h"
 #include "verilatedos.h"
 
+#ifndef V3ERROR_NO_GLOBAL_
 #define V3ERROR_NO_GLOBAL_
+#endif
 #include "V3Error.h"
 
 //********************************************************************
diff --git a/src/VlcMain.cpp b/src/VlcMain.cpp
index b26753c62..c0c75cdc7 100644
--- a/src/VlcMain.cpp
+++ b/src/VlcMain.cpp
@@ -24,7 +24,9 @@
 #include "verilatedos.h"
 
 // Cheat for speed and compile .cpp files into one object TODO: Reconsider
+#ifndef V3ERROR_NO_GLOBAL_
 #define V3ERROR_NO_GLOBAL_
+#endif
 #include "V3Error.h"
 static int debug() { return V3Error::debugDefault(); }
 #include "V3Error.cpp"
diff --git a/src/VlcPoint.h b/src/VlcPoint.h
index 81578f9b1..5c51b7adf 100644
--- a/src/VlcPoint.h
+++ b/src/VlcPoint.h
@@ -25,7 +25,9 @@
 #include <unordered_map>
 #include <vector>
 
+#ifndef V3ERROR_NO_GLOBAL_
 #define V3ERROR_NO_GLOBAL_
+#endif
 #include "verilated_cov_key.h"
 
 #include "V3Error.h"