From 46688fb3e0be50b3fbcb4115ca7157802589d735 Mon Sep 17 00:00:00 2001
From: "Edward A. Lee" <eal@berkeley.edu>
Date: Sat, 9 Mar 2024 21:43:34 -0800
Subject: [PATCH] Remove #include platform.h

---
 examples/C/src/ReflexGame/ReflexGameTest.lf | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/examples/C/src/ReflexGame/ReflexGameTest.lf b/examples/C/src/ReflexGame/ReflexGameTest.lf
index 8621be15..f46ef52b 100644
--- a/examples/C/src/ReflexGame/ReflexGameTest.lf
+++ b/examples/C/src/ReflexGame/ReflexGameTest.lf
@@ -12,10 +12,6 @@ target C {
   timeout: 5 sec
 }
 
-preamble {=
-  #include "include/core/platform.h"
-=}
-
 main reactor {
   preamble {=
     // Specify a thread that sends all keyboard characters