elaborated error message

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4014 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2014-06-14 08:40:11 +00:00 · 2014-06-14 08:40:11 +00:00 · 23c6b8cfd9
parent 4a504f90d8
commit 23c6b8cfd9
1 changed files with 2 additions and 1 deletions
--- a/src/ansi-c-with-declarators/c_typecheck_type.cpp
+++ b/src/ansi-c-with-declarators/c_typecheck_type.cpp
@ -543,7 +543,8 @@ void c_typecheck_baset::typecheck_compound_type(struct_union_typet &type)
    else if(have_body)
    {
      err_location(type);
-      error("redefinition of compound body");
+      str << "redefinition of " << type.id() << " body";
+      error();
      throw 0;
    }
  }