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