diff options
Diffstat (limited to 'src/include/kind.h')
-rw-r--r-- | src/include/kind.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/include/kind.h b/src/include/kind.h index f45495bb0..9307cc677 100644 --- a/src/include/kind.h +++ b/src/include/kind.h @@ -26,3 +26,5 @@ enum Kind { };/* enum Kind */ }/* CVC4 namespace */ + +#endif /* __CVC4_KIND_H */ |