From efdd9f25ae80e0c98b00a554f0e6098b9fc0ff61 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Thu, 4 Feb 2016 14:00:18 +0100
Subject: [PATCH] Changed expected result

Former-commit-id: 0fb88af944862ce83804cd3fc14d989816d031cb
---
 benchmark_dft.py        | 2 +-
 examples/dft/spare5.dft | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/benchmark_dft.py b/benchmark_dft.py
index a6109ff45..425d8ae80 100644
--- a/benchmark_dft.py
+++ b/benchmark_dft.py
@@ -26,7 +26,7 @@ benchmarks = [
     ("spare2", False, [1.86957, 1]),
     ("spare3", False, [1.27273, 1]),
     ("spare4", False, [4.8459, 1]),
-    ("spare5", False, [2.16667, 1]),
+    ("spare5", False, [2.66667, 1]), # We discard the result 2.16667 from DFTCalc
     ("spare6", False, [1.4, 1]),
     ("tripple_and1", False, [4.16667, 1]),
     ("tripple_and2", False, [3.66667, 1]),
diff --git a/examples/dft/spare5.dft b/examples/dft/spare5.dft
index dcb4d80a4..0cd15bf0e 100644
--- a/examples/dft/spare5.dft
+++ b/examples/dft/spare5.dft
@@ -1,6 +1,6 @@
 toplevel "A";
 "A" wsp "I" "B";
-"B" or "K" "J";
+"B" or "C" "J";
 "C" or "K" "L";
 "I" lambda=0.5 dorm=0;
 "J" lambda=0.5 dorm=0;