diff options
Diffstat (limited to 'src/file_txt.h')
| -rw-r--r-- | src/file_txt.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/file_txt.h b/src/file_txt.h index b1a66417..20f1de55 100644 --- a/src/file_txt.h +++ b/src/file_txt.h @@ -19,6 +19,12 @@ Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. */ +#ifndef _FILE_TXT_H +#define _FILE_TXT_H +#ifdef __cplusplus +extern "C" { +#endif + /*@ @ requires buf_len> 0; @ requires \valid_read(buffer+(0..buf_len-1)); @@ -26,3 +32,7 @@ @ assigns \nothing; @*/ int UTFsize(const unsigned char *buffer, const unsigned int buf_len); +#ifdef __cplusplus +} /* closing brace for extern "C" */ +#endif +#endif |