From c75eb12084dce074b0f35bd6e00e8883fa374ce3 Mon Sep 17 00:00:00 2001
From: scalexm <alexandre@scalexm.fr>
Date: Mon, 29 Oct 2018 18:58:13 +0100
Subject: [PATCH] Fix code blocks

---
 src/traits/wf.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/traits/wf.md b/src/traits/wf.md
index bd1188d8..4cef9ec8 100644
--- a/src/traits/wf.md
+++ b/src/traits/wf.md
@@ -52,7 +52,7 @@ struct Type<P...> where WC_type {
 ```
 
 we generate the following goal:
-```
+```text
 forall<P...> {
     if (FromEnv(WC_type)) {
         WellFormed(InputTypes(WC_type)) &&
@@ -239,7 +239,7 @@ with values provided by the impl, we may omit them if we don't need them, and
 we cannot add new where clauses.
 
 Now let's see the generated goal for this general impl:
-```
+```text
 forall<P1...> {
     if (FromEnv(WC_impl), FromEnv(InputTypes(SomeType<A2...>))) {
         WellFormed(SomeType<A2...>: Trait<A1...>) &&