fixed a bug with saving string

2020-07-12 21:38:39 +02:00 · 2020-07-12 21:38:39 +02:00 · 50bb01b7e2
parent bcd2a6230f
commit 50bb01b7e2
1 changed files with 2 additions and 0 deletions
--- a/hprint.cpp
+++ b/hprint.cpp
@ -82,6 +82,8 @@ inline void hwrite(hstream& hs, const string& s) {
    hs.write_char((char)255);
    hs.write<int>(isize(s));
    }
+  else 
+    hs.write_char(isize(s));    
  for(char c: s) hs.write_char(c);
  }
 inline void hread(hstream& hs, string& s) {