message: Removing extraneous setting (thanks
diff: @@ -1203,7 +1203,6 @@ int main (int argc, char *argv[])
  {
  const char omesh_file[] = "mesh-explorer-paraview";
  ParaViewDataCollection dc(omesh_file, mesh);
  - dc.SetPrecision(14);
  dc.Save();
  cout << "New ParaView mesh file: " << omesh_file << endl;
  }
  