diff options
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 |