simplify mkSkolem naming system: don't use $$

[cvc5.git] / src / theory / rep_set.cpp

diff --git a/src/theory/rep_set.cpp b/src/theory/rep_set.cpp
index 169688243b2ae1fe63ce001672bb4a96ca74ff0d..2e8eb51b1e3bace9afbf112d095baf0c6b04cac6 100644 (file)
--- a/src/theory/rep_set.cpp
+++ b/src/theory/rep_set.cpp
@@ -141,7 +141,7 @@ bool RepSetIterator::initialize(){
     TypeNode tn = d_types[i];
     if( tn.isSort() ){
       if( !d_rep_set->hasType( tn ) ){
-        Node var = NodeManager::currentNM()->mkSkolem( "repSet_$$", tn, "is a variable created by the RepSetIterator" );
+        Node var = NodeManager::currentNM()->mkSkolem( "repSet", tn, "is a variable created by the RepSetIterator" );
         Trace("mkVar") << "RepSetIterator:: Make variable " << var << " : " << tn << std::endl;
         d_rep_set->add( var );
       }