From 3344151acaad1ab449e770d642829abd9ec69900 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 20 Jan 2013 18:21:09 -0800
Subject: [PATCH] Replace # with x in the definition of algebraic elements

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/math/realclosure/realclosure.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/realclosure/realclosure.cpp b/src/math/realclosure/realclosure.cpp
index fc46c6d5c..a555486e0 100644
--- a/src/math/realclosure/realclosure.cpp
+++ b/src/math/realclosure/realclosure.cpp
@@ -5797,7 +5797,7 @@ namespace realclosure {
 
         struct display_free_var_proc {
             void operator()(std::ostream & out, bool compact) const {
-                out << "#";
+                out << "x";
             }
         };