From 1b9d6508f8921ea2ba7e92be50538c9ff910ce1d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ali=20Sinan=20K=C3=B6ksal?= <alisinan@gmail.com>
Date: Fri, 8 Jul 2011 13:06:44 +0000
Subject: [PATCH] better displaying of L variables
---
src/cp/LTrees.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/cp/LTrees.scala b/src/cp/LTrees.scala
index 644f67ff6..a17832738 100644
--- a/src/cp/LTrees.scala
+++ b/src/cp/LTrees.scala
@@ -229,7 +229,7 @@ object LTrees {
val (newConsts, newExpr) = combineConstraint(instantiatedCnstr)
val typedPlaceHolders = newConsts map {
- case cst => FreshIdentifier(cst.name, true).setType(cst.getType)
+ case cst => FreshIdentifier("?", true).setType(cst.getType)
}
// println("types : " + typedPlaceHolders.map(_.getType))
val subst1 = ((newConsts map (Variable(_))) zip (typedPlaceHolders map (Variable(_)))).toMap
--
GitLab