Update README.md

d-plaindoux · Mar 14, 2017 · 6eb987e · 6eb987e
1 parent a053593
commit 6eb987e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -207,7 +207,7 @@ Class derivation can help reducing specification based on classification. Such
 derivation is the main paradigm used for the subtyping relationship and then the
 substitutability principle availability.
 
-````
+```
 model Equal[a] { 
     (==) : a -> bool
 )