Fixed codacy warnings for readme

ftsrg · Feb 11, 2021 · 016be2c · 016be2c
1 parent 87b46ae
commit 016be2c
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/subprojects/xsts/xsts/README.md b/subprojects/xsts/xsts/README.md
@@ -71,13 +71,13 @@ All variable names matching the pattern `temp([0-9])+` are reserved for use by t
 
 Expressions of the XSTS can include the following:
 
-- Identifiers (variables).
-- Literals, e.g., `true`, `false` (boolean), `0`, `123` (integer).
-    - Array literals can be given by listing the key-value pairs and the (mandatory) default element, e.g., `[0 <- 182, 1 <- 41, default <- 75]`. If there are no elements, the key type has to be given before the default element, e.g., `[<integer>default <- 75]`.
-- Comparison, e.g., `==`, `!=`, `<`, `>`, `<=`, `>=`.
-- Boolean operators, e.g., `&&`, `||`, `!`, `->`.
-- Arithmetic, e.g., `+`, `-`, `/`, `*`, `%`.
-- Array read (`a[i]`) and write (`a[i <- v]`).
+* Identifiers (variables).
+* Literals, e.g., `true`, `false` (boolean), `0`, `123` (integer).
+    * Array literals can be given by listing the key-value pairs and the (mandatory) default element, e.g., `[0 <- 182, 1 <- 41, default <- 75]`. If there are no elements, the key type has to be given before the default element, e.g., `[<integer>default <- 75]`.
+* Comparison, e.g., `==`, `!=`, `<`, `>`, `<=`, `>=`.
+* Boolean operators, e.g., `&&`, `||`, `!`, `->`.
+* Arithmetic, e.g., `+`, `-`, `/`, `*`, `%`.
+* Array read (`a[i]`) and write (`a[i <- v]`).
 
 ### Transitions