diff --git a/language/types.xml b/language/types.xml index 2e0cc480d0..b29f6c09ae 100644 --- a/language/types.xml +++ b/language/types.xml @@ -100,15 +100,15 @@ $a = 1.234; $a = 1.2e3;