Update README.md

tbrk · May 10, 2017 · 7538c4b · 7538c4b
1 parent aec4946
commit 7538c4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -16,7 +16,7 @@ Descriptions of the testing construction can be found in:
 * The paper by Arcot Sowmya and me, to be presented at EMSOFT 2008. This paper presents several improvements to the original CSE technical report (UNSE-CSE-TR-0723).
 
 The testing construction cannot be performed on all timed automata,
-specifically several modelling features are not supported:
+specifically several modelling features are **not** supported:
 
 * non-deterministic automata (this assumption is not checked),
 * non-synchronizing (τ) transitions,