diff options
Diffstat (limited to 'src/options/theoryof_mode.h')
-rw-r--r-- | src/options/theoryof_mode.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/theoryof_mode.h b/src/options/theoryof_mode.h index f999a6081..d1306defd 100644 --- a/src/options/theoryof_mode.h +++ b/src/options/theoryof_mode.h @@ -31,7 +31,7 @@ enum TheoryOfMode { THEORY_OF_TERM_BASED };/* enum TheoryOfMode */ -std::ostream& operator<<(std::ostream& out, TheoryOfMode m) throw() CVC4_PUBLIC; +std::ostream& operator<<(std::ostream& out, TheoryOfMode m) CVC4_PUBLIC; }/* CVC4::theory namespace */ }/* CVC4 namespace */ |