diff --git a/prototyping/Tests/PrettyPrinter/smoke_test/in.lua b/prototyping/Tests/PrettyPrinter/smoke_test/in.lua
index 0d23bbb2..d26e3a0d 100644
--- a/prototyping/Tests/PrettyPrinter/smoke_test/in.lua
+++ b/prototyping/Tests/PrettyPrinter/smoke_test/in.lua
@@ -15,4 +15,5 @@ local b : nil = nil
 local c : (nil) -> nil = nil
 local d : (any & nil) = nil
 local e : any? = nil
+local f : number = 123
 return id2(nil2)
diff --git a/prototyping/Tests/PrettyPrinter/smoke_test/out.txt b/prototyping/Tests/PrettyPrinter/smoke_test/out.txt
index fc3fcb47..34e0c4fe 100644
--- a/prototyping/Tests/PrettyPrinter/smoke_test/out.txt
+++ b/prototyping/Tests/PrettyPrinter/smoke_test/out.txt
@@ -15,5 +15,5 @@ local b : nil = nil
 local c : (nil) -> nil = nil
 local d : (any & nil) = nil
 local e : any? = nil
-local f = 123.0
+local f : number = 123.0
 return id2(nil2)