diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2019-12-10 17:17:00 -0300 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-10 14:17:00 -0600 |
commit | d19c52821bb911413ff3dd4494c08a42a1db1e22 (patch) | |
tree | aa91cb7bbc7aa66521b7bbfc528ab67394944616 /src/options/options.h | |
parent | ee5fed52332ec6baddc8ecd8f8e04a644990bf29 (diff) |
Fix ufho issues (#3551)
Diffstat (limited to 'src/options/options.h')
-rw-r--r-- | src/options/options.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/options/options.h b/src/options/options.h index 3f758e392..c321b3499 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -197,6 +197,7 @@ public: InputLanguage getInputLanguage() const; InstFormatMode getInstFormatMode() const; OutputLanguage getOutputLanguage() const; + bool getUfHo() const; bool getCheckProofs() const; bool getDumpInstantiations() const; bool getDumpModels() const; |