diff options
Diffstat (limited to 'src/main/main.h')
-rw-r--r-- | src/main/main.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/main.h b/src/main/main.h index 01f337ef4..a2e813c6c 100644 --- a/src/main/main.h +++ b/src/main/main.h @@ -59,6 +59,10 @@ extern CVC4_THREADLOCAL(Options*) pOptions; /** Initialize the driver. Sets signal handlers for SIGINT and SIGSEGV. */ void cvc4_init() throw(Exception); +/** Shutdown the driver. Frees memory for the signal handlers. */ +void cvc4_shutdown() throw(); + + }/* CVC4::main namespace */ }/* CVC4 namespace */ |