summaryrefslogtreecommitdiff
path: root/src/synthesis.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/synthesis.cc')
-rw-r--r--src/synthesis.cc4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/synthesis.cc b/src/synthesis.cc
index 47f2ba71..15918e58 100644
--- a/src/synthesis.cc
+++ b/src/synthesis.cc
@@ -1934,11 +1934,11 @@ LangTerm *LangStmt::chooseDefaultIter( Compiler *pd, LangTerm *fromVarRef ) cons
/* The parameters. */
ExprVect *callExprVect = new ExprVect;
- LangExpr *callExpr = new LangExpr( new LangTerm(
+ LangExpr *callExpr = LangExpr::cons( LangTerm::cons(
LangTerm::VarRefType, fromVarRef->varRef ) );
callExprVect->append( callExpr );
- LangTerm *callLangTerm = new LangTerm( callVarRef, callExprVect );
+ LangTerm *callLangTerm = LangTerm::cons( callVarRef, callExprVect );
return callLangTerm;
}