From 99f8e0ff4d31fb570aa6d0f6260520ea0d163642 Mon Sep 17 00:00:00 2001
From: Danny Robson <danny@nerdcruft.net>
Date: Mon, 4 Mar 2019 10:50:25 +1100
Subject: [PATCH] tools/spec: add required iostream header

---
 tools/spec.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/spec.py b/tools/spec.py
index f4e0b4a..d592287 100644
--- a/tools/spec.py
+++ b/tools/spec.py
@@ -852,6 +852,7 @@ def write_dispatch(dst: TextIO, q: List[Type], reg: Registry):
     #include <cruft/util/debug.hpp>
     
     #include <cstring>
+    #include <iostream>
 
     #pragma GCC diagnostic ignored "-Wunused-parameter"