From ca423e291b1f7d67e1a325bb6d98663d6c0690c7 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Mon, 28 Apr 2014 11:31:29 -0400 Subject: [PATCH] minor fix --- src/theory/datatypes/datatypes_rewriter.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theory/datatypes/datatypes_rewriter.h b/src/theory/datatypes/datatypes_rewriter.h index dc85d0cd6..389bcca8b 100644 --- a/src/theory/datatypes/datatypes_rewriter.h +++ b/src/theory/datatypes/datatypes_rewriter.h @@ -266,7 +266,7 @@ public: if( dt.isParametric() ){ tn = TypeNode::fromType( tspec )[i]; } - nc = NodeManager::currentNM()->mkSkolem( "m_$$", tn, "created for inst cons" ); + nc = NodeManager::currentNM()->mkSkolem( "m", tn, "created for inst cons" ); } children.push_back( nc ); } -- 2.30.2