Fixing printing

Author: msoos

src/main.cpp

@@ -485,7 +485,7 @@ void run_weighted_counter(Ganak& counter, const ArjunNS::SimplifiedCNF& cnf, con
         cout << "c s exact arb cpx "  << ss.str() << endl;
       } else if (mode == 6) {
         const MPFComplex* od = dynamic_cast<const MPFComplex*>(ptr);
-        mpfr_printf("c s exact arb cpx %.8Re + %.8Re\n", od->real, od->imag);
+        mpfr_printf("c s exact arb cpx %.8Re + %.8Rei\n", od->real, od->imag);
       }
     }
     cout << "c o exact arb " << *cnt << endl;

src/mcomplex-mpfr.hpp

@@ -169,7 +169,7 @@ class MPFComplex : public CMSat::Field {
 
     std::ostream& display(std::ostream& os) const override {
       char* tmp = nullptr;
-      mpfr_asprintf(&tmp, "%.8Re + %.8Re", real, imag);
+      mpfr_asprintf(&tmp, "%.8Re + %.8Rei", real, imag);
       os << tmp;
       mpfr_free_str(tmp);
       return os;