From 9c8e72a6892a4b7a8b34202fc79d8b3192641938 Mon Sep 17 00:00:00 2001
From: Sunjay Varma <varma.sunjay@gmail.com>
Date: Thu, 10 May 2018 15:48:24 -0700
Subject: [PATCH] Ignoring code examples that aren't actually compile-able

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

diff --git a/src/chalk-overview.md b/src/chalk-overview.md
index 8c5bc159..49f68514 100644
--- a/src/chalk-overview.md
+++ b/src/chalk-overview.md
@@ -69,13 +69,13 @@ essentially one of the following:
 This is the phase where we encode the rules of the trait system into logic. For
 example, if we have:
 
-```rust
+```rust,ignore
 impl<T: Clone> Clone for Vec<T> {}
 ```
 
 We generate:
 
-```rust
+```rust,ignore
 forall<T> { (Vec<T>: Clone) :- (T: Clone) }
 ```