diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-04-20 20:49:10 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-20 22:01:11 +0100 |
| commit | f463da0084bc7516c74effe79c161318179dcc13 (patch) | |
| tree | 8d31e48e6d1ad29493c8ccb87ca70d7efe511151 /include | |
| parent | ccf40f5aea243b15b6c0d48777760d1686e200e2 (diff) | |
| download | klee-f463da0084bc7516c74effe79c161318179dcc13.tar.gz | |
Remove additional quotation marks
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Support/CompilerWarning.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/Support/CompilerWarning.h b/include/klee/Support/CompilerWarning.h index 167a775b..41029dec 100644 --- a/include/klee/Support/CompilerWarning.h +++ b/include/klee/Support/CompilerWarning.h @@ -24,7 +24,7 @@ #define DISABLE_WARNING_DEPRECATED_DECLARATIONS #else #define DISABLE_WARNING_DEPRECATED_DECLARATIONS \ - DISABLE_WARNING("-Wdeprecated-declarations") + DISABLE_WARNING(-Wdeprecated-declarations) #endif #else |