diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-07 23:14:15 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-07 23:14:15 +0000 |
commit | c72745ec66a6328ab02350cd556a1ad82fb7d85c (patch) | |
tree | df7b00155bb7dc7ab7351b640425bf2306dac521 /src/util/exception.h | |
parent | b3bcafc179201e33c4f41ccf028c12eacc110d69 (diff) |
big check-in of various fixes and adjustments
Diffstat (limited to 'src/util/exception.h')
-rw-r--r-- | src/util/exception.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util/exception.h b/src/util/exception.h index 76eabe67e..164cda8b5 100644 --- a/src/util/exception.h +++ b/src/util/exception.h @@ -8,6 +8,8 @@ ** information. ** ** Exception class. + ** + ** As many paragraphs as you like. **/ #ifndef __CVC4__EXCEPTION_H |