Fixed codacy warnings for readme

ftsrg · Feb 11, 2021 · ddd2151 · ddd2151
1 parent 016be2c
commit ddd2151
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/subprojects/xsts/xsts/README.md b/subprojects/xsts/xsts/README.md
@@ -39,9 +39,9 @@ Example:
 
 The XSTS formalism contains the following built-in types: 
 
-- `integer`: Mathematical, unbounded SMT integers.
-- `boolean`: Booleans.
-- `[K] -> V`: SMT arrays (associative maps) from a given key type `K` to a value type `V`.
+* `integer`: Mathematical, unbounded SMT integers.
+* `boolean`: Booleans.
+* `[K] -> V`: SMT arrays (associative maps) from a given key type `K` to a value type `V`.
 
 Previously declared custom types can also be used in variable declarations.
 Variables can be declared the following way: