snapshot: fix indentation

[model-checker.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index 3666667e1fa2886da1d0684c96bfd873b7f5c40e..a092f93759473819a42998f024edc3ea492cda6c 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -134,12 +134,12 @@ extern "C" {
 #endif
 void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, unsigned int numheappages, MyFuncPtr entryPoint){
 #if USE_CHECKPOINTING
-  /* Setup a stack for our signal handler....  */
-  stack_t ss;
-  ss.ss_sp = MYMALLOC(SIGSTACKSIZE);
-  ss.ss_size = SIGSTACKSIZE;
-  ss.ss_flags = 0;
-  sigaltstack(&ss, NULL);
+       /* Setup a stack for our signal handler....  */
+       stack_t ss;
+       ss.ss_sp = MYMALLOC(SIGSTACKSIZE);
+       ss.ss_size = SIGSTACKSIZE;
+       ss.ss_flags = 0;
+       sigaltstack(&ss, NULL);
 
        struct sigaction sa;
        sa.sa_flags = SA_SIGINFO | SA_NODEFER | SA_RESTART | SA_ONSTACK;