diff options
| author | Chris Dyer <redpony@gmail.com> | 2014-10-09 14:14:33 -0400 |
|---|---|---|
| committer | Chris Dyer <redpony@gmail.com> | 2014-10-09 14:14:33 -0400 |
| commit | 6ac91aa63cd0bce3a9a4fcc781d3ad66a326d5c8 (patch) | |
| tree | 51aca61e4c2bc66184b3e7d41c25a89824124b52 /utils/corpus_tools.h | |
| parent | 81166355dfa0ccbae5413fd1ee896c43ce2f5d96 (diff) | |
fix header names in util/
Diffstat (limited to 'utils/corpus_tools.h')
| -rw-r--r-- | utils/corpus_tools.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/corpus_tools.h b/utils/corpus_tools.h index f6699d87..3ccaf6ef 100644 --- a/utils/corpus_tools.h +++ b/utils/corpus_tools.h @@ -1,5 +1,5 @@ -#ifndef _CORPUS_TOOLS_H_ -#define _CORPUS_TOOLS_H_ +#ifndef CORPUS_TOOLS_H_ +#define CORPUS_TOOLS_H_ #include <string> #include <set> |