From 95ee4c94f1f8084374d72f0780f9d831569f1621 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 23 Sep 2017 11:37:55 -0500
Subject: [PATCH] remove utf fixes #1265

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/parsers/smt2/smt2parser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parsers/smt2/smt2parser.cpp b/src/parsers/smt2/smt2parser.cpp
index b4648f0d6..b8ad7e610 100644
--- a/src/parsers/smt2/smt2parser.cpp
+++ b/src/parsers/smt2/smt2parser.cpp
@@ -1306,7 +1306,7 @@ namespace smt2 {
 
         /**
          * SMT-LIB 2.6 pattern matches are of the form
-         * (match t ((p1 t1) ··· (pm+1 tm+1)))         
+         * (match t ((p1 t1) ... (pm+1 tm+1)))         
          */
         void push_match_frame() {
             SASSERT(curr_is_identifier());