small changes

[c11tester.git] / pipe.cc

diff --git a/pipe.cc b/pipe.cc
index b915c7927377f21005194d97289f7f6b799071ad..95a9a43970f524d9be415e45776303cd0b50bf30 100644 (file)
--- a/pipe.cc
+++ b/pipe.cc
@@ -8,18 +8,18 @@
 static int (*pipe_init_p)(int filep[2]) = NULL;
 
 int pipe(int fildes[2]) {
 static int (*pipe_init_p)(int filep[2]) = NULL;
 
 int pipe(int fildes[2]) {

-  if (!model) {
-    snapshot_system_init(10000, 1024, 1024, 40000);
-    model = new ModelChecker();
-    model->startChecker();
-  }
-  if (!pipe_init_p) {
-    pipe_init_p = (int (*)(int fildes[2])) dlsym(RTLD_NEXT, "pipe");
-    char *error = dlerror();
-    if (error != NULL) {
-      fputs(error, stderr);
-      exit(EXIT_FAILURE);
-    }
-  }
-  return pipe_init_p(fildes);
+       if (!model) {
+               snapshot_system_init(10000, 1024, 1024, 40000);
+               model = new ModelChecker();
+               model->startChecker();
+       }
+       if (!pipe_init_p) {
+               pipe_init_p = (int (*)(int fildes[2]))dlsym(RTLD_NEXT, "pipe");
+               char *error = dlerror();
+               if (error != NULL) {
+                       fputs(error, stderr);
+                       exit(EXIT_FAILURE);
+               }
+       }
+       return pipe_init_p(fildes);

 }
 }