From e7fd4d03bfd430053cca5161846889d5e2b1e2a1 Mon Sep 17 00:00:00 2001
From: Timo Teräs <timo.teras@iki.fi>
Date: Wed, 12 Jun 2013 13:24:07 +0300
Subject: solver: rewrite as deductive solver -- pinning support

Fix also pinning test cases to be more sane.
---
 test/pinning7.test | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'test/pinning7.test')

diff --git a/test/pinning7.test b/test/pinning7.test
index 42a3570..80a2541 100644
--- a/test/pinning7.test
+++ b/test/pinning7.test
@@ -1,7 +1,7 @@
 @ARGS
---test-repo basic.repo
---test-repo testing:pinning.repo
---test-repo testing2:pinning.repo
+--test-repo pinning-basic.repo
+--test-repo testing:pinning-overlay1.repo
+--test-repo testing2:pinning-overlay1.repo
 --test-instdb pinning.installed
 --test-world "c@testing"
 add c@testing2
-- 
cgit v1.2.3-60-g2f50