From a52b3bd1046df957015888fc9c4ef338b172e10c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ali=20Sinan=20K=C3=B6ksal?= <alisinan@gmail.com>
Date: Wed, 18 May 2011 08:24:21 +0000
Subject: [PATCH] Remove `sealed' trait generation
---
src/cp/Utils.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/cp/Utils.scala b/src/cp/Utils.scala
index a362eff4b..7562b42af 100644
--- a/src/cp/Utils.scala
+++ b/src/cp/Utils.scala
@@ -61,7 +61,7 @@ object Utils {
val evaluatorArgs = traitArgParams.zipWithIndex.map{ case (p, i) => "converter.expr2scala(s(%d)).asInstanceOf[%s]" format (i, p) }
val termTraitString =
-"""sealed trait %s extends Term[%s,%s] with Function%d[%s] {
+"""trait %s extends Term[%s,%s] with Function%d[%s] {
val convertingFunction = converterOf(this).exprSeq2scala%d[%s] _
type t2c = (%s) => %s
val scalaFunction : %s => %s
--
GitLab