# 
# patch "automate.cc"
#  from [b944057644692848b38e3894285c425e29386858]
#    to [57b3f30a50ae18e91ef62ed0310d7e69c9a7eec9]
# 
--- automate.cc
+++ automate.cc
@@ -1001,7 +1001,6 @@
                        int & pos,
                        int size)
 {
-  s<<cmdnum<<':'<<err<<':'<<(last?'l':'m')<<':';
   if(size==-1)
     {
       while(text.size()-pos > constants::automate_stdio_size)