From 816262887405206ce6cf04716b1d077c123e2905 Mon Sep 17 00:00:00 2001
From: daniel <d@upquark>
Date: Mon, 23 Oct 2023 10:37:02 +0200
Subject: [PATCH] fix "unknown type name 'FILE'" error when configured with
 "--enable-non-distributable"

---
 tests/halcompile/command_line_flags/flags.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/halcompile/command_line_flags/flags.c b/tests/halcompile/command_line_flags/flags.c
index 3b9f69461f2..391e02bdf6b 100644
--- a/tests/halcompile/command_line_flags/flags.c
+++ b/tests/halcompile/command_line_flags/flags.c
@@ -10,6 +10,7 @@
 #error This is intended as a userspace component only.
 #endif
 
+#include <stdio.h>
 #include <readline.h>
 
 int main(int argc, char **argv)