From 5166b96d206dcb03e358d3aaeaae06123f8281cd Mon Sep 17 00:00:00 2001
From: bannsec <whootandahalf@gmail.com>
Date: Mon, 23 Apr 2018 17:17:51 -0400
Subject: [PATCH] Fancy dots are not allowed here!!

---
 src/smt/theory_datatype.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/theory_datatype.cpp b/src/smt/theory_datatype.cpp
index 9ff81fa08..049555297 100644
--- a/src/smt/theory_datatype.cpp
+++ b/src/smt/theory_datatype.cpp
@@ -461,7 +461,7 @@ namespace smt {
         TRACE("datatype", tout << "occurs_check_explain " << mk_bounded_pp(app->get_owner(), get_manager()) << " <-> " << mk_bounded_pp(root->get_owner(), get_manager()) << "\n";);
         enode* app_parent = nullptr;
 
-        // first: explain that root=v, given that app=cstor(…,v,…)
+        // first: explain that root=v, given that app=cstor(...,v,...)
         for (enode * arg : enode::args(oc_get_cstor(app))) {
             // found an argument which is equal to root
             if (arg->get_root() == root->get_root()) {