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 | a04b6a955f49f5f72e2a27f388e581734b213204 (patch) | |
| tree | 9325f80874e5f518e87fcb4867a9cc8f8e204105 /utils/exp_semiring.h | |
| parent | a82c420ee1942f50cacaf96cfbcad99707bab345 (diff) | |
fix header names in util/
Diffstat (limited to 'utils/exp_semiring.h')
| -rw-r--r-- | utils/exp_semiring.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/exp_semiring.h b/utils/exp_semiring.h index 26a22071..164286e3 100644 --- a/utils/exp_semiring.h +++ b/utils/exp_semiring.h @@ -1,5 +1,5 @@ -#ifndef _EXP_SEMIRING_H_ -#define _EXP_SEMIRING_H_ +#ifndef EXP_SEMIRING_H_ +#define EXP_SEMIRING_H_ #include <iostream> #include "star.h" |