diff --git a/src/cp/Utils.scala b/src/cp/Utils.scala
index a362eff4b4d25db2579e4603e2e2dff627348cb7..7562b42afcf11a2215bcc7aedb77499a6e83f532 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