X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.h;h=3b33a7ef5aeaa774af2501f8b32fe7d005b5886b;hb=4568d21526e5c3c79cb99eea8277a5fef9127283;hp=39e294a8c60f1c0d781fdafb43a6162b6475f1af;hpb=4698d40e0ba982029b4e1f018f2bdfc1b99a5b32;p=model-checker.git

diff --git a/snapshot.h b/snapshot.h
index 39e294a..3b33a7e 100644
--- a/snapshot.h
+++ b/snapshot.h
@@ -18,8 +18,6 @@ snapshot_id takeSnapshot( );
 
 void rollBack( snapshot_id theSnapShot );
 
-void finalize();
-
 #ifdef __cplusplus
 extern "C" {
 #endif