diff --git a/language/types/float.xml b/language/types/float.xml index d729a43d79..aa46e0ff5e 100644 --- a/language/types/float.xml +++ b/language/types/float.xml @@ -1,5 +1,5 @@ - + Floating point numbers @@ -29,7 +29,7 @@ $c = 7E-10;