From ed8c7f237198b2c2f32722ddfdca3f2a3f3d09d2 Mon Sep 17 00:00:00 2001
From: brichards <benjamin.richards@warwick.ac.uk>
Date: Fri, 19 Jan 2024 11:55:12 +0000
Subject: [PATCH] updated for v3.0

---
 UserTools/ToolSelect.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/UserTools/ToolSelect.sh b/UserTools/ToolSelect.sh
index 3116a76..8661999 100755
--- a/UserTools/ToolSelect.sh
+++ b/UserTools/ToolSelect.sh
@@ -114,6 +114,7 @@ done` 2> tmptools
 	    touch Unity.h
 	    
 	    echo "#include \"Factory.h\"
+#include \"Unity.h\"
 
 Tool* Factory(std::string tool) {
 Tool* ret=0;