From d7343aa3e4d895155a50bfe5ce891843c290c758 Mon Sep 17 00:00:00 2001
From: Robert Sloan <varomodt@gmail.com>
Date: Thu, 23 Jun 2016 17:53:07 -0400
Subject: Remove unstable Pipeline.v examples from _CoqProject

---
 _CoqProject | 1 -
 1 file changed, 1 deletion(-)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 79751c731..d2a0c9267 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -58,7 +58,6 @@ src/Assembly/Qhasm.v
 src/Assembly/PseudoConversion.v
 src/Assembly/AlmostConversion.v
 src/Assembly/StringConversion.v
-src/Assembly/Pipeline.v
 src/Assembly/Vectorize.v
 src/Assembly/Wordize.v
 src/Assembly/Pseudize.v
-- 
cgit v1.2.3