From 2e2782577b0900e18275e40107a72ec0d600aaf7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?F=C3=A1bio=20Ferreira?= <fferreira@protonmail.com>
Date: Sun, 23 Jul 2017 02:32:35 +0100
Subject: [PATCH] pretty printer: fix typo with ReSort sort name

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

diff --git a/src/ast/ast_smt2_pp.cpp b/src/ast/ast_smt2_pp.cpp
index d5e46548a..ee6b16fc1 100644
--- a/src/ast/ast_smt2_pp.cpp
+++ b/src/ast/ast_smt2_pp.cpp
@@ -429,7 +429,7 @@ format_ns::format * smt2_pp_environment::pp_sort(sort * s) {
     if ((get_sutil().is_seq(s) || get_sutil().is_re(s)) && !get_sutil().is_string(s)) {
         ptr_buffer<format> fs;
         fs.push_back(pp_sort(to_sort(s->get_parameter(0).get_ast())));
-        return mk_seq1(m, fs.begin(), fs.end(), f2f(), get_sutil().is_seq(s)?"Seq":"Re");
+        return mk_seq1(m, fs.begin(), fs.end(), f2f(), get_sutil().is_seq(s)?"Seq":"RegEx");
     }
     return format_ns::mk_string(get_manager(), s->get_name().str().c_str());
 }