diff options
| author | Patrick Simianer <p@simianer.de> | 2014-10-13 19:03:48 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2014-10-13 19:03:48 +0100 |
| commit | cb9fb7088dde35881516c088db402abe747d49fa (patch) | |
| tree | a91e4935a7941f1b261f76d88ab41fa3078a1891 /utils/exp_semiring.h | |
| parent | 0a00e57e921c8eca8e02364db7d2e6607bfdcebc (diff) | |
| parent | b1ed81ef3216b212295afa76c5d20a56fb647204 (diff) | |
Merge remote-tracking branch 'upstream/master'
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" |