diff --git a/src/compiler/isaspec/encode.py b/src/compiler/isaspec/encode.py
index a5f4c8ad61b..62e4ff934b5 100755
--- a/src/compiler/isaspec/encode.py
+++ b/src/compiler/isaspec/encode.py
@@ -344,6 +344,7 @@ template = """\
 #include <stdbool.h>
 #include <stdint.h>
 #include <util/bitset.h>
+#include <util/log.h>
 
 <%
 isa = s.isa