From 883d3fd546eb3a35cad69cfe9a3beee9067f5362 Mon Sep 17 00:00:00 2001
From: Timo Koch <timo.koch@iws.uni-stuttgart.de>
Date: Mon, 1 Feb 2021 18:42:05 +0100
Subject: [PATCH] [styleguide] Add note about floating point number and lonely
dots
---
doc/styleguide.md | 1 +
1 file changed, 1 insertion(+)
diff --git a/doc/styleguide.md b/doc/styleguide.md
index 468a11290b..ee00d40bc0 100644
--- a/doc/styleguide.md
+++ b/doc/styleguide.md
@@ -164,6 +164,7 @@ This style guide is taken, modified and enhanced from [DUNE](https://dune-projec
else
return 1.0; // ok, one-liner
```
+* __Numbers__: Write `1.0` not `1.` due to better readability
### Namespaces
--
GitLab