--- parser3/src/include/pa_string.h 2003/10/21 05:11:00 1.151 +++ parser3/src/include/pa_string.h 2003/12/17 07:34:11 1.154 @@ -8,7 +8,7 @@ #ifndef PA_STRING_H #define PA_STRING_H -static const char* IDENT_STRING_H="$Date: 2003/10/21 05:11:00 $"; +static const char * const IDENT_STRING_H="$Date: 2003/12/17 07:34:11 $"; // includes @@ -340,8 +340,8 @@ public: private: - Languages langs; ///< string characters lang Body body; ///< all characters of string + Languages langs; ///< string characters lang const char* v() const; @@ -355,7 +355,6 @@ public: explicit String(const char* cstr=0, size_t helper_length=0, bool tainted=false); explicit String(const C cstr, bool tainted=false); String(Body abody, Language alang): body(abody), langs(alang) { - assert(!body.is_empty()); ASSERT_STRING_INVARIANT(*this); } String(const String& src): body(src.body), langs(src.langs) {