From 200c23b00a6ce78b6ae2680ed0b46bdc016c1e9e Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 18 Nov 2016 15:22:50 +0100
Subject: [PATCH] Removed example files

---
 examples/dft/spare11.dft | 11 -----------
 examples/dft/voting4.dft |  5 -----
 2 files changed, 16 deletions(-)
 delete mode 100644 examples/dft/spare11.dft
 delete mode 100644 examples/dft/voting4.dft

diff --git a/examples/dft/spare11.dft b/examples/dft/spare11.dft
deleted file mode 100644
index b3c6e929f..000000000
--- a/examples/dft/spare11.dft
+++ /dev/null
@@ -1,11 +0,0 @@
-toplevel "OR";
-"OR" or "A" "B";
-"A" wsp "AND" "C";
-"B" wsp "C" "R" "S";
-"C" wsp "Q" "R";
-"AND" and "P" "Q";
-"P" lambda=0.1 dorm=0.9;
-"Q" lambda=0.2 dorm=0.8;
-"R" lambda=0.3 dorm=0.7;
-"S" lambda=0.4 dorm=0.6;
-
diff --git a/examples/dft/voting4.dft b/examples/dft/voting4.dft
deleted file mode 100644
index 4c213b6d4..000000000
--- a/examples/dft/voting4.dft
+++ /dev/null
@@ -1,5 +0,0 @@
-toplevel "A";
-"A" 2of3 "B" "C" "D";
-"B" lambda=0.1 dorm=0;
-"C" lambda=0.2 dorm=0;
-"D" lambda=0.3 dorm=0;