diff --git a/prototyping/Examples/SmokeTest.lua b/prototyping/Examples/SmokeTest.lua
index 1c50a434..e663534a 100644
--- a/prototyping/Examples/SmokeTest.lua
+++ b/prototyping/Examples/SmokeTest.lua
@@ -10,9 +10,9 @@ local function comp(f)
 end
 local id2 = comp(id)(id)
 local nil2 = id2(nil)
-local a: any = nil
-local b: nil = nil
-local c: (nil) -> nil = nil
-local d: any & nil = nil
-local e: any | nil = nil
+local a : any = nil
+local b : nil = nil
+local c : (nil) -> nil = nil
+local d : (any & nil) = nil
+local e : any? = nil
 return id2(nil2)