Force the float expression for the max memory parameter to avoid exponential form...

diff --git a/src/GHS3DPlugin/GHS3DPlugin_Hypothesis.cxx b/src/GHS3DPlugin/GHS3DPlugin_Hypothesis.cxx
index e1eb1edb7875103c06a583ad47dbed8e06dcdc17..f8a7c6908652a254649e027acdc9878063d15330 100644 (file)
--- a/src/GHS3DPlugin/GHS3DPlugin_Hypothesis.cxx
+++ b/src/GHS3DPlugin/GHS3DPlugin_Hypothesis.cxx
@@ -1481,11 +1481,13 @@ std::string GHS3DPlugin_Hypothesis::CommandToRun(const GHS3DPlugin_Hypothesis* h
   // so allow to use about all available memory
   if ( m ) {
     double aMaximumMemory = hyp ? hyp->myMaximumMemory : -1;
+    ostringstream tmpMaximumMemory;
     cmd += " -m ";
     if ( aMaximumMemory < 0 )
-      cmd += DefaultMaximumMemory();
+      tmpMaximumMemory << std::fixed << std::setprecision(0) << DefaultMaximumMemory();
     else
-      cmd += aMaximumMemory;
+      tmpMaximumMemory << std::fixed << std::setprecision(0) << aMaximumMemory;
+    cmd += tmpMaximumMemory.str().c_str();
   }
   if ( M && !useBndRecovery ) {
     double aInitialMemory = hyp ? hyp->myInitialMemory : -1;