diff options
Diffstat (limited to 'lib/Solver/ConstantDivision.h')
| -rw-r--r-- | lib/Solver/ConstantDivision.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Solver/ConstantDivision.h b/lib/Solver/ConstantDivision.h index 3b3a2799..23d61740 100644 --- a/lib/Solver/ConstantDivision.h +++ b/lib/Solver/ConstantDivision.h @@ -48,4 +48,4 @@ void ComputeSDivConstants32(int32_t d, int32_t &mprime, int32_t &dsign, } -#endif +#endif /* KLEE_CONSTANTDIVISION_H */ |