diff options
author | Tim King <taking@google.com> | 2015-11-13 09:53:19 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2015-11-23 16:44:20 -0800 |
commit | 8098d95adcbb65d2d76322316f5a10c996f0eb8d (patch) | |
tree | fde36a569539d3abb9c5581ea80b90311669aa93 /src/main/main.h | |
parent | 9c27a43de4120f9c571757b8541884013a37fa3d (diff) |
Freeing memory allocated for signal handling.
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 */ |