diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-28 11:31:29 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-28 11:31:29 -0400 |
commit | ca423e291b1f7d67e1a325bb6d98663d6c0690c7 (patch) | |
tree | 2caa5bd39b364bf0b36262018f0bd6dca3924f39 | |
parent | b01a91bb5690b2648a5b8d91f940a6746cba34a3 (diff) |
minor fix
-rw-r--r-- | src/theory/datatypes/datatypes_rewriter.h | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); } |