diff options
Diffstat (limited to 'src/options/options_public_functions.cpp')
| -rw-r--r-- | src/options/options_public_functions.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/options/options_public_functions.cpp b/src/options/options_public_functions.cpp index a556f2152..d1022c51c 100644 --- a/src/options/options_public_functions.cpp +++ b/src/options/options_public_functions.cpp @@ -218,10 +218,6 @@ void Options::setOutputLanguage(OutputLanguage value) { set(options::outputLanguage, value); } -bool Options::wasSetByUserCeGuidedInst() const { - return wasSetByUser(options::ceGuidedInst); -} - bool Options::wasSetByUserDumpSynth() const { return wasSetByUser(options::dumpSynth); } |