From 06ce55c3a6d65e884d69a2c51ad132d6b94f73b2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antti=20Hyv=C3=A4rinen?= <antti.hyvarinen@gmail.com>
Date: Thu, 31 Mar 2022 12:12:26 +0200
Subject: [PATCH] TermPrinter: test for correct let var naming

---
 test/unit/test_TermPrinter.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/unit/test_TermPrinter.cc b/test/unit/test_TermPrinter.cc
index 9e82da448..546e25b3b 100644
--- a/test/unit/test_TermPrinter.cc
+++ b/test/unit/test_TermPrinter.cc
@@ -13,8 +13,8 @@ class TermPrinterTest : public ::testing::Test {
 
     PTRef buildExampleFormula1() {
         SRef sort = logic.declareUninterpretedSort("U");
-        PTRef x = logic.mkVar(sort, "x");
-        PTRef y = logic.mkVar(sort, "y");
+        PTRef x = logic.mkVar(sort, "?20");
+        PTRef y = logic.mkVar(sort, "????");
         SymRef g_s = logic.declareFun("g", sort, {sort, sort});
         SymRef h_s = logic.declareFun("h", sort, {sort});
         SymRef f_s = logic.declareFun("f", sort, {sort, sort, sort});