diff --git a/ChangeLog b/ChangeLog
index 6e88fb51e..d64a2f168 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2003-08-05  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	* wrap/python/spot.i: Add an ostringstream emulation.
+
 2003-08-04  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* wrap/python/spot.i: Add an ofstream emulation.
diff --git a/wrap/python/spot.i b/wrap/python/spot.i
index 6df8709fb..2db779335 100644
--- a/wrap/python/spot.i
+++ b/wrap/python/spot.i
@@ -8,6 +8,7 @@
 %{
 #include <iostream>
 #include <fstream>
+#include <sstream>
 
 #include "ltlast/formula.hh"
 #include "ltlast/refformula.hh"
@@ -132,6 +133,13 @@ namespace std {
      ofstream(const char *fn);
      ~ofstream();
   };
+  class ostringstream : public ostream
+  {
+  public:
+     ostringstream();
+     std::string str() const;
+     ~ofstream();
+  };
 }
 
 %inline %{