diff --git a/src/compiler/isaspec/encode.py b/src/compiler/isaspec/encode.py
index 82826d3c20e..a5f4c8ad61b 100755
--- a/src/compiler/isaspec/encode.py
+++ b/src/compiler/isaspec/encode.py
@@ -340,6 +340,7 @@ template = """\
  * IN THE SOFTWARE.
  */
 
+#include <assert.h>
 #include <stdbool.h>
 #include <stdint.h>
 #include <util/bitset.h>