# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1717171457 -7200
# Node ID a5665f2010331d875c99d3a0cd059535957601ca
# Parent  33abc5ea640fc306a08b487bc35627dc872a200d
Added missing header inclusion.

diff -r 33abc5ea640f -r a5665f201033 test_files/programs/test_systemv.c
--- a/test_files/programs/test_systemv.c	Fri May 31 16:31:12 2024 +0200
+++ b/test_files/programs/test_systemv.c	Fri May 31 18:04:17 2024 +0200
@@ -21,6 +21,7 @@
 
 #include <stdio.h>
 #include <errno.h>
+#include <process.h>