diff options
author | 2016-04-24 12:57:58 +0200 | |
---|---|---|
committer | 2016-04-24 12:58:31 +0200 | |
commit | 89c5e1f681107b6d9f8ba7f761c388d1e2052fe4 (patch) | |
tree | c5ce4530d0c03fa1c04021844272b82b7b7ebcbc /src/lib/util/options.h | |
parent | ef0968b87042040e1f0e18c84ce804f744f8e23e (diff) |
Various cleanups suggested by static analyzer (nw)
Diffstat (limited to 'src/lib/util/options.h')
-rw-r--r-- | src/lib/util/options.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/lib/util/options.h b/src/lib/util/options.h index ff1cad115de..a0c3817651a 100644 --- a/src/lib/util/options.h +++ b/src/lib/util/options.h @@ -169,7 +169,6 @@ public: bool is_changed(const char *name) const; // setting - void set_command(const char *command); bool set_value(const char *name, const char *value, int priority, std::string &error_string); bool set_value(const char *name, int value, int priority, std::string &error_string); bool set_value(const char *name, float value, int priority, std::string &error_string); |